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