Anne is big. Anne is blue. Anne is smart. Bob is white. Charlie is big. Charlie is not red. Charlie is smart. Charlie is young. Gary is big. Gary is not quiet. Gary is red. Gary is white. If Bob is smart then Bob is blue. All blue things are red.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
If Bob is smart then Bob is blue.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "blue" "+"))
All blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Charlie is young.
True
1
proof
[(triple8)]
("Charlie" "is" "young" "+")
triple8
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is red.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "red" "+")
((triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple2) -> rule2))]
("Anne" "is" "red" "-")
((triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is smart.[(triple3)] Bob is white.[(triple4)] Charlie is big.[(triple5)] Charlie is not red.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8)] Gary is big.[(triple9)] Gary is not quiet.[(triple10)] Gary is red.[(triple11)] Gary is white.[(triple12)] @1: Anne is red.[(((triple2) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is not red.
("Charlie" "is" "red" "-")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1