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