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