Charlie is not big. Charlie is blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is not white. Charlie is not young. Erin is blue. Erin is green. Erin is not nice. Erin is quiet. Erin is young. Harry is blue. Harry is nice. Harry is young. If something is young and white then it is not nice. If something is nice then it is green. If something is white and blue then it is not green.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is young and white then it is not nice.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "-"))
If something is nice then it is green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is white and blue then it is not green.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
Erin is quiet.
True
1
proof
[(triple11)]
("Erin" "is" "quiet" "+")
triple11
Charlie is not nice.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "nice" "-")
triple4
Harry is green.
True
2
proof
[(((triple14) -> rule2))]
("Harry" "is" "green" "+")
((triple14) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple14) -> rule2))]
("Harry" "is" "green" "-")
((triple14) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Charlie is blue.[(triple2)] Charlie is green.[(triple3 OR ((triple4) -> rule2))] Charlie is nice.[(triple4)] Charlie is not big.[(triple1)] Charlie is not white.[(triple6)] Charlie is not young.[(triple7)] Charlie is quiet.[(triple5)] Erin is blue.[(triple8)] Erin is green.[(triple9)] Erin is not nice.[(triple10)] Erin is quiet.[(triple11)] Erin is young.[(triple12)] Harry is blue.[(triple13)] Harry is nice.[(triple14)] Harry is young.[(triple15)] @1: Harry is green.[(((triple14) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
((triple4) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is not white.
("Charlie" "is" "white" "-")
triple6
Charlie is not young.
("Charlie" "is" "young" "-")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is not nice.
("Erin" "is" "nice" "-")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Harry is green.
("Harry" "is" "green" "+")
((triple14) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1