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