Dave is blue. Dave is smart. Dave is white. Erin is cold. Erin is white. Gary is blue. Gary is rough. Harry is rough. Harry is smart. Harry is white. All rough, smart things are cold.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
All rough, smart things are cold.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Dave is smart.
True
1
proof
[(triple2)]
("Dave" "is" "smart" "+")
triple2
Gary is not blue.
False
1
inv-proof
[(triple6)]
("Gary" "is" "blue" "-")
triple6
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Dave is blue.[(triple1)] Dave is smart.[(triple2)] Dave is white.[(triple3)] Erin is cold.[(triple4)] Erin is white.[(triple5)] Gary is blue.[(triple6)] Gary is rough.[(triple7)] Harry is rough.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Harry is cold.[(((triple8 triple9) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
((triple8 triple9) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1