Anne is cold. Charlie is not big. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is round. Charlie is not white. Erin is big. Erin is round. Harry is not big. Harry is cold. Harry is furry. Harry is nice. Harry is not rough. Harry is not round. Harry is white. If someone is rough and not round then they are furry. If someone is rough and not furry then they are nice.
Anne is cold.
("Anne" "is" "cold" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is not round.
("Harry" "is" "round" "-")
Harry is white.
("Harry" "is" "white" "+")
If someone is rough and not round then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "furry" "+"))
If someone is rough and not furry then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "nice" "+"))
Harry is not rough.
True
1
proof
[(triple14)]
("Harry" "is" "rough" "-")
triple14
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "nice" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Anne is cold.[(triple1)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is nice.[(triple5)] Charlie is not big.[(triple2)] Charlie is not white.[(triple7)] Charlie is round.[(triple6)] Erin is big.[(triple8)] Erin is round.[(triple9)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is not big.[(triple10)] Harry is not rough.[(triple14)] Harry is not round.[(triple15)] Harry is white.[(triple16)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is not big.
("Charlie" "is" "big" "-")
triple2
Charlie is not white.
("Charlie" "is" "white" "-")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is not big.
("Harry" "is" "big" "-")
triple10
Harry is not rough.
("Harry" "is" "rough" "-")
triple14
Harry is not round.
("Harry" "is" "round" "-")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16