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