Bob is blue. Bob is green. Bob is round. Charlie is green. Charlie is quiet. Dave is big. Dave is blue. Dave is round. Dave is white. Fiona is big. Fiona is quiet. Fiona is round. If Fiona is cold then Fiona is white. If someone is quiet then they are green. All green, cold people are blue. If Bob is blue and Bob is green then Bob is big. If someone is blue and quiet then they are white. If Fiona is green and Fiona is big then Fiona is blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Fiona is cold then Fiona is white.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "white" "+"))
If someone is quiet then they are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
All green, cold people are blue.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If Bob is blue and Bob is green then Bob is big.
((("Bob" "is" "blue" "+") ("Bob" "is" "green" "+")) -> ("Bob" "is" "big" "+"))
If someone is blue and quiet then they are white.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If Fiona is green and Fiona is big then Fiona is blue.
((("Fiona" "is" "green" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "blue" "+"))
Dave is blue.
True
1
proof
[(triple7)]
("Dave" "is" "blue" "+")
triple7
Dave is not round.
False
1
inv-proof
[(triple8)]
("Dave" "is" "round" "-")
triple8
Bob is big.
True
3
proof
[(((triple1 triple2) -> rule4))]
("Bob" "is" "big" "+")
((triple1 triple2) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple1 triple2) -> rule4))]
("Bob" "is" "big" "-")
((triple1 triple2) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "blue" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3)] Charlie is green.[(triple4 OR ((triple5) -> rule2))] Charlie is quiet.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Fiona is big.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] @1: Bob is big.[(((triple1 triple2) -> rule4))] Fiona is green.[(((triple11) -> rule2))] @2: Fiona is blue.[(((((triple11) -> rule2) triple10) -> rule6))] @3: Fiona is white.[(((((((triple11) -> rule2) triple10) -> rule6) triple11) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
((triple5) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple2) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple11) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple11) -> (rule2 % int2)) triple10) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple11) -> (rule2 % int3)) triple10) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3