Bob is quiet. Charlie is blue. Fiona is blue. All blue people are furry. If Charlie is blue and Charlie is green then Charlie is quiet. If someone is smart and green then they are blue. If someone is smart and red then they are quiet. All blue people are red. All blue people are smart. If Charlie is rough and Charlie is blue then Charlie is smart. If someone is red then they are smart.
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
All blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Charlie is blue and Charlie is green then Charlie is quiet.
((("Charlie" "is" "blue" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "quiet" "+"))
If someone is smart and green then they are blue.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is smart and red then they are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
All blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If Charlie is rough and Charlie is blue then Charlie is smart.
((("Charlie" "is" "rough" "+") ("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "smart" "+"))
If someone is red then they are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Fiona is blue.
True
1
proof
[(triple3)]
("Fiona" "is" "blue" "+")
triple3
Charlie is not blue.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "blue" "-")
triple2
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Bob" "is" "red" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is quiet.[(triple1)] Charlie is blue.[(triple2)] Fiona is blue.[(triple3)] @1: Charlie is furry.[(((triple2) -> rule1))] Charlie is red.[(((triple2) -> rule5))] Charlie is smart.[(((triple2) -> rule6) OR ((((triple2) -> rule5)) -> rule8))] Fiona is furry.[(((triple3) -> rule1))] Fiona is red.[(((triple3) -> rule5))] Fiona is smart.[(((triple3) -> rule6) OR ((((triple3) -> rule5)) -> rule8))] @2: Charlie is quiet.[(((((triple2) -> rule6) ((triple2) -> rule5)) -> rule4) OR ((((((triple2) -> rule5)) -> rule8) ((triple2) -> rule5)) -> rule4))] Fiona is quiet.[(((((triple3) -> rule6) ((triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule5)) -> rule8) ((triple3) -> rule5)) -> rule4))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple2) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple2) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple3) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple3) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple2) -> (rule6 % int3)) ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule8 % int2)) ((triple2) -> (rule5 % int3))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple3) -> (rule6 % int3)) ((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple3) -> (rule5 % int3))) -> (rule8 % int2)) ((triple3) -> (rule5 % int3))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3