Dave is cold. Dave is red. Dave is young. Erin is blue. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is young. Gary is kind. Gary is nice. Gary is red. Harry is blue. Harry is red. Harry is young. All blue, red things are kind. If Gary is young and Gary is blue then Gary is nice.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
All blue, red things are kind.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If Gary is young and Gary is blue then Gary is nice.
((("Gary" "is" "young" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "nice" "+"))
Erin is red.
True
1
proof
[(triple7)]
("Erin" "is" "red" "+")
triple7
Erin is not cold.
False
1
inv-proof
[(triple5)]
("Erin" "is" "cold" "-")
triple5
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Dave is cold.[(triple1)] Dave is red.[(triple2)] Dave is young.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6 OR ((triple4 triple7) -> rule1))] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is red.[(triple12)] Harry is blue.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)] @1: Harry is kind.[(((triple13 triple14) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
((triple4 triple7) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Harry is kind.
("Harry" "is" "kind" "+")
((triple13 triple14) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1