Anne is furry. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is white. Gary is cold. Gary is rough. All quiet people are rough. All rough people are green. All rough people are quiet. All blue people are furry. All blue people are cold. If Gary is rough and Gary is cold then Gary is white. All green, blue people are cold. If Fiona is green and Fiona is quiet then Fiona is cold.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All quiet people are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
All rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
All blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If Gary is rough and Gary is cold then Gary is white.
((("Gary" "is" "rough" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "white" "+"))
All green, blue people are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is green and Fiona is quiet then Fiona is cold.
((("Fiona" "is" "green" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "cold" "+"))
Fiona is rough.
True
1
proof
[(triple12 OR ((triple11) -> rule1))]
("Fiona" "is" "rough" "+")
triple12
((triple11) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Bob is not quiet.
False
1
inv-proof
[(triple5)]
("Bob" "is" "quiet" "-")
triple5
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is furry.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((((triple5) -> rule1)) -> rule2))] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8 OR ((triple7) -> rule5) OR ((triple10 triple11) -> rule8) OR ((triple10 triple7) -> rule7) OR ((triple10 ((triple12) -> rule3)) -> rule8) OR ((((triple12) -> rule2) triple11) -> rule8) OR ((((triple12) -> rule2) triple7) -> rule7) OR ((((triple12) -> rule2) ((triple12) -> rule3)) -> rule8) OR ((((((triple11) -> rule1)) -> rule2) triple11) -> rule8) OR ((((((triple11) -> rule1)) -> rule2) triple7) -> rule7) OR ((((((triple11) -> rule1)) -> rule2) ((triple12) -> rule3)) -> rule8))] Fiona is furry.[(triple9 OR ((triple7) -> rule4))] Fiona is green.[(triple10 OR ((triple12) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] Fiona is quiet.[(triple11 OR ((triple12) -> rule3))] Fiona is rough.[(triple12 OR ((triple11) -> rule1))] Fiona is white.[(triple13)] Gary is cold.[(triple14)] Gary is rough.[(triple15)] @1: Bob is rough.[(((triple5) -> rule1))] Gary is green.[(((triple15) -> rule2))] Gary is quiet.[(((triple15) -> rule3))] Gary is white.[(((triple15 triple14) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
((triple7) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple10 triple11) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple10 triple7) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple10 ((triple12) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple12) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple12) -> (rule2 % int2)) triple7) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple12) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple11) -> (rule1 % int3))) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple11) -> (rule1 % int3))) -> (rule2 % int2)) triple7) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple11) -> (rule1 % int4))) -> (rule2 % int3)) ((triple12) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
((triple7) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple10
((triple12) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
((triple12) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
((triple11) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple13
Gary is cold.
("Gary" "is" "cold" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Bob is rough.
("Bob" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple15) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple15) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple15 triple14) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1