Anne is cold. Anne is white. Erin is white. Fiona is green. Fiona is round. Fiona is white. Gary is young. If someone is young then they are round. All white people are kind. If someone is round then they are white. Green people are white. If Anne is young then Anne is green. If someone is young then they are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is young then they are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
All white people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If Anne is young then Anne is green.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "green" "+"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Fiona is round.
True
1
proof
[(triple5)]
("Fiona" "is" "round" "+")
triple5
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Erin is kind.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Gary" "is" "round" "-")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is green.
Unknown
rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "green" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is white.[(triple2)] Erin is white.[(triple3)] Fiona is green.[(triple4)] Fiona is round.[(triple5)] Fiona is white.[(triple6 OR ((triple4) -> rule4) OR ((triple5) -> rule3))] Gary is young.[(triple7)] @1: Anne is kind.[(((triple2) -> rule2))] Erin is kind.[(((triple3) -> rule2))] Fiona is kind.[(((triple6) -> rule2) OR ((((triple4) -> rule4)) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] Gary is green.[(((triple7) -> rule6))] Gary is round.[(((triple7) -> rule1))] @2: Gary is white.[(((((triple7) -> rule1)) -> rule3) OR ((((triple7) -> rule6)) -> rule4))] @3: Gary is kind.[(((((((triple7) -> rule1)) -> rule3)) -> rule2) OR ((((((triple7) -> rule6)) -> rule4)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
((triple4) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple5) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple7
Anne is kind.
("Anne" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple7) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3