Anne is big. Anne is furry. Anne is kind. Anne is red. Dave is kind. Erin is red. Harry is big. Harry is furry. Harry is kind. Harry is red. All round, kind people are furry. If Anne is kind then Anne is furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
All round, kind people are furry.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If Anne is kind then Anne is furry.
((("Anne" "is" "kind" "+")) -> ("Anne" "is" "furry" "+"))
Anne is furry.
True
1
proof
[(triple2 OR ((triple3) -> rule2))]
("Anne" "is" "furry" "+")
triple2
((triple3) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Harry is not kind.
False
1
inv-proof
[(triple9)]
("Harry" "is" "kind" "-")
triple9
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple3) -> rule2))] Anne is kind.[(triple3)] Anne is red.[(triple4)] Dave is kind.[(triple5)] Erin is red.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is red.[(triple10)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple3) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10