Anne is big. Anne is cold. Anne is green. Anne is white. Charlie is not cold. Charlie is not green. Charlie is kind. Charlie is white. Harry is big. Harry is cold. Harry is furry. Harry is not green. Harry is kind. Harry is white. Harry is young. All cold, green people are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All cold, green people are white.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Anne is cold.
True
1
proof
[(triple2)]
("Anne" "is" "cold" "+")
triple2
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is white.[(triple4 OR ((triple2 triple3) -> rule1))] Charlie is kind.[(triple7)] Charlie is not cold.[(triple5)] Charlie is not green.[(triple6)] Charlie is white.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple13)] Harry is not green.[(triple12)] Harry is white.[(triple14)] Harry is young.[(triple15)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
((triple2 triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple5
Charlie is not green.
("Charlie" "is" "green" "-")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is not green.
("Harry" "is" "green" "-")
triple12
Harry is white.
("Harry" "is" "white" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15