Bob is big. Bob is blue. Bob is not quiet. Bob is rough. Bob is white. Charlie is blue. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Fiona is not blue. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. All blue people are not nice. If someone is red then they are rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All blue people are not nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "-"))
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Bob is white.
True
1
proof
[(triple5)]
("Bob" "is" "white" "+")
triple5
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is not quiet.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is quiet.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9 OR ((triple8) -> rule2))] Charlie is white.[(triple10)] Fiona is nice.[(triple12)] Fiona is not blue.[(triple11)] Fiona is quiet.[(triple13)] Fiona is rough.[(triple14)] Fiona is white.[(triple15)] @1: Bob is not nice.[(((triple2) -> rule1))] Charlie is not nice.[(((triple6) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
((triple8) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Bob is not nice.
("Bob" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Charlie is not nice.
("Charlie" "is" "nice" "-")
((triple6) -> (rule1 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1