Bob is cold. Bob is quiet. Bob is smart. Dave is big. Dave is quiet. Dave is rough. Dave is smart. All big, red people are white. All smart people are cold. Rough, big people are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
All big, red people are white.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
All smart people are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Rough, big people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Dave is rough.
True
1
proof
[(triple6)]
("Dave" "is" "rough" "+")
triple6
Bob is not smart.
False
1
inv-proof
[(triple3)]
("Bob" "is" "smart" "-")
triple3
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Bob is cold.[(triple1 OR ((triple3) -> rule2))] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Dave is big.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] @1: Dave is cold.[(((triple7) -> rule2) OR ((triple6 triple4) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple3) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple6 triple4) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1