Anne is furry. Anne is rough. Anne is round. Charlie is quiet. Charlie is round. Dave is young. Harry is blue. Round people are furry.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Round people are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Harry is blue.
True
1
proof
[(triple7)]
("Harry" "is" "blue" "+")
triple7
Anne is not round.
False
1
inv-proof
[(triple3)]
("Anne" "is" "round" "-")
triple3
Charlie is furry.
True
2
proof
[(((triple5) -> rule1))]
("Charlie" "is" "furry" "+")
((triple5) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not furry.
False
2
inv-proof
[(((triple5) -> rule1))]
("Charlie" "is" "furry" "-")
((triple5) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is furry.[(triple1 OR ((triple3) -> rule1))] Anne is rough.[(triple2)] Anne is round.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Dave is young.[(triple6)] Harry is blue.[(triple7)] @1: Charlie is furry.[(((triple5) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple5) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1