Anne is not cold. Anne is kind. Anne is not rough. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is smart. Charlie is cold. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. If something is cold and rough then it is kind.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
If something is cold and rough then it is kind.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Charlie is rough.
True
1
proof
[(triple13)]
("Charlie" "is" "rough" "+")
triple13
Charlie is furry.
False
1
inv-proof
[(triple10)]
("Charlie" "is" "furry" "+")
triple10
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is kind.[(triple2)] Anne is not cold.[(triple1)] Anne is not rough.[(triple3)] Bob is cold.[(triple4)] Bob is furry.[(triple5)] Bob is green.[(triple6)] Bob is kind.[(triple7)] Bob is smart.[(triple8)] Charlie is cold.[(triple9)] Charlie is green.[(triple11)] Charlie is kind.[(triple12 OR ((triple9 triple13) -> rule1))] Charlie is not furry.[(triple10)] Charlie is rough.[(triple13)] Charlie is smart.[(triple14)] Charlie is white.[(triple15)]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple9
Charlie is green.
("Charlie" "is" "green" "+")
triple11
Charlie is kind.
("Charlie" "is" "kind" "+")
triple12
((triple9 triple13) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
triple13
Charlie is smart.
("Charlie" "is" "smart" "+")
triple14
Charlie is white.
("Charlie" "is" "white" "+")
triple15