Charlie is furry. Erin is furry. Gary is not blue. If something is cold then it is green. If something is quiet and furry then it is not green. All blue things are not green. If something is furry then it is big. Furry, cold things are big. If something is big then it is round. If Gary is quiet then Gary is blue. All round things are cold.
Charlie is furry.
("Charlie" "is" "furry" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
If something is cold then it is green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is quiet and furry then it is not green.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "-"))
All blue things are not green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Furry, cold things are big.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is big then it is round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If Gary is quiet then Gary is blue.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "blue" "+"))
All round things are cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Gary is not blue.
True
1
proof
[(triple3)]
("Gary" "is" "blue" "-")
triple3
Gary is blue.
False
1
inv-proof
[(triple3)]
("Gary" "is" "blue" "+")
triple3
Charlie is big.
True
2
proof
[(((triple1) -> rule4))]
("Charlie" "is" "big" "+")
((triple1) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
2
inv-proof
[(((triple1) -> rule4))]
("Charlie" "is" "big" "-")
((triple1) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
True
3
proof
[(((((triple1) -> rule4)) -> rule6))]
("Charlie" "is" "round" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not round.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule6))]
("Charlie" "is" "round" "-")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Erin is cold.
True
4
proof
[(((((((triple2) -> rule4)) -> rule6)) -> rule8))]
("Erin" "is" "cold" "+")
((((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is not cold.
False
4
inv-proof
[(((((((triple2) -> rule4)) -> rule6)) -> rule8))]
("Erin" "is" "cold" "-")
((((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not green.
Unknown
inv-rconc
[@4: Gary is green.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule6 <- rule4 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is cold.
Unknown
rconc
[@3: Gary is cold.[CWA. Example of deepest failure = (rule8 <- rule6 <- rule4 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Charlie is furry.[(triple1)] Erin is furry.[(triple2)] Gary is not blue.[(triple3)] @1: Charlie is big.[(((triple1) -> rule4))] Erin is big.[(((triple2) -> rule4))] @2: Charlie is round.[(((((triple1) -> rule4)) -> rule6))] Erin is round.[(((((triple2) -> rule4)) -> rule6))] @3: Charlie is cold.[(((((((triple1) -> rule4)) -> rule6)) -> rule8))] Erin is cold.[(((((((triple2) -> rule4)) -> rule6)) -> rule8))] @4: Charlie is green.[(((((((((triple1) -> rule4)) -> rule6)) -> rule8)) -> rule1))] Erin is green.[(((((((((triple2) -> rule4)) -> rule6)) -> rule8)) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Gary is not blue.
("Gary" "is" "blue" "-")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
((triple1) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple2) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
((((((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((((((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
((((((((triple2) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4