Anne is quiet. Anne is smart. Bob is blue. Bob is green. Bob is quiet. Bob is rough. Bob is round. Bob is smart. Bob is young. Gary is round. Gary is smart. Gary is not young. Quiet, young things are smart. If something is round and not quiet then it is blue. Blue, young things are green.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not young.
("Gary" "is" "young" "-")
Quiet, young things are smart.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is round and not quiet then it is blue.
((("something" "is" "round" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "blue" "+"))
Blue, young things are green.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Bob is green.
True
1
proof
[(triple4 OR ((triple3 triple9) -> rule3))]
("Bob" "is" "green" "+")
triple4
((triple3 triple9) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Gary is not smart.
False
1
inv-proof
[(triple11)]
("Gary" "is" "smart" "-")
triple11
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Bob is blue.[(triple3)] Bob is green.[(triple4 OR ((triple3 triple9) -> rule3))] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7)] Bob is smart.[(triple8 OR ((triple5 triple9) -> rule1))] Bob is young.[(triple9)] Gary is not young.[(triple12)] Gary is round.[(triple10)] Gary is smart.[(triple11)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
((triple3 triple9) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
triple8
((triple5 triple9) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple9
Gary is not young.
("Gary" "is" "young" "-")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11