Anne is red. Anne is round. Anne is young. Dave is big. Harry is cold. Harry is white. Harry is young. If something is white and red then it is round. If Harry is young then Harry is furry. If something is cold and furry then it is young.
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is white and red then it is round.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If Harry is young then Harry is furry.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "furry" "+"))
If something is cold and furry then it is young.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
Dave is big.
True
1
proof
[(triple4)]
("Dave" "is" "big" "+")
triple4
Dave is not big.
False
1
inv-proof
[(triple4)]
("Dave" "is" "big" "-")
triple4
Harry is furry.
True
2
proof
[(((triple7) -> rule2))]
("Harry" "is" "furry" "+")
((triple7) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple7) -> rule2))]
("Harry" "is" "furry" "-")
((triple7) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Dave is big.[(triple4)] Harry is cold.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Harry is furry.[(((triple7) -> rule2))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is white.
("Harry" "is" "white" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
((triple7) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1