Anne is not big. Anne is cold. Anne is kind. Anne is red. Charlie is big. Charlie is not cold. Charlie is furry. Charlie is kind. Charlie is red. Dave is furry. Dave is red. Harry is big. Harry is not furry. Harry is not kind. Harry is rough. If Harry is furry and Harry is not white then Harry is not kind. If Harry is red and Harry is white then Harry is rough. Furry things are red.
Anne is not big.
("Anne" "is" "big" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is rough.
("Harry" "is" "rough" "+")
If Harry is furry and Harry is not white then Harry is not kind.
((("Harry" "is" "furry" "+") ("Harry" "is" "white" "~")) -> ("Harry" "is" "kind" "-"))
If Harry is red and Harry is white then Harry is rough.
((("Harry" "is" "red" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "rough" "+"))
Furry things are red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Anne is red.
True
1
proof
[(triple4)]
("Anne" "is" "red" "+")
triple4
Harry is kind.
False
1
inv-proof
[(triple14)]
("Harry" "is" "kind" "+")
triple14
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "red" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is not big.[(triple1)] Anne is red.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple7)] Charlie is kind.[(triple8)] Charlie is not cold.[(triple6)] Charlie is red.[(triple9 OR ((triple7) -> rule3))] Dave is furry.[(triple10)] Dave is red.[(triple11 OR ((triple10) -> rule3))] Harry is big.[(triple12)] Harry is not furry.[(triple13)] Harry is not kind.[(triple14)] Harry is rough.[(triple15)]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple9
((triple7) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
triple11
((triple10) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is not furry.
("Harry" "is" "furry" "-")
triple13
Harry is not kind.
("Harry" "is" "kind" "-")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15