Bob is big. Bob is smart. Bob is young. Charlie is big. Charlie is round. Gary is big. Gary is cold. Gary is smart. Gary is white. Gary is young. If something is cold and not big then it is not smart. If something is green then it is round.
Bob is big.
("Bob" "is" "big" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is cold and not big then it is not smart.
((("something" "is" "cold" "+") ("something" "is" "big" "~")) -> ("something" "is" "smart" "-"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Bob is young.
True
1
proof
[(triple3)]
("Bob" "is" "young" "+")
triple3
Bob is not smart.
False
1
inv-proof
[(triple2)]
("Bob" "is" "smart" "-")
triple2
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Bob is big.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Charlie is big.[(triple4)] Charlie is round.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is smart.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10