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