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