Bob is quiet. Bob is rough. Charlie is blue. Charlie is red. Charlie is rough. Charlie is smart. Erin is green. Erin is quiet. Erin is not smart. Fiona is blue. Fiona is not green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is not smart. All red, smart things are not nice.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
All red, smart things are not nice.
((("something" "is" "red" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "-"))
Erin is green.
True
1
proof
[(triple7)]
("Erin" "is" "green" "+")
triple7
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Charlie is not nice.
True
3
proof
[(((triple4 triple6) -> rule1))]
("Charlie" "is" "nice" "-")
((triple4 triple6) -> (rule1 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is nice.
False
3
inv-proof
[(((triple4 triple6) -> rule1))]
("Charlie" "is" "nice" "+")
((triple4 triple6) -> (rule1 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Charlie is blue.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Erin is green.[(triple7)] Erin is not smart.[(triple9)] Erin is quiet.[(triple8)] Fiona is blue.[(triple10)] Fiona is not green.[(triple11)] Fiona is not smart.[(triple15)] Fiona is quiet.[(triple12)] Fiona is red.[(triple13)] Fiona is rough.[(triple14)] @1: Charlie is not nice.[(((triple4 triple6) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is not smart.
("Erin" "is" "smart" "-")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is not green.
("Fiona" "is" "green" "-")
triple11
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple15
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13
Fiona is rough.
("Fiona" "is" "rough" "+")
triple14
Charlie is not nice.
("Charlie" "is" "nice" "-")
((triple4 triple6) -> (rule1 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1