Bob is big. Bob is green. Bob is kind. Charlie is big. Charlie is cold. Charlie is green. Charlie is white. Dave is big. Dave is round. Gary is white. If something is round then it is white. Green, white things are red.
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is round then it is white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Green, white things are red.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is white.[(triple7)] Dave is big.[(triple8)] Dave is round.[(triple9)] Gary is white.[(triple10)] @1: Charlie is red.[(((triple6 triple7) -> rule2))] Dave is white.[(((triple9) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
((triple6 triple7) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple9) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1