Charlie is green. Erin is white. Fiona is red. Gary is white. If Erin is big then Erin is kind. If something is white then it is cold. All rough things are green. If something is green and white then it is red. If Fiona is white then Fiona is big. All white, big things are cold. If something is white and cold then it is rough. Red, green things are white.
Charlie is green.
("Charlie" "is" "green" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
If Erin is big then Erin is kind.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "kind" "+"))
If something is white then it is cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
All rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is green and white then it is red.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
If Fiona is white then Fiona is big.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "big" "+"))
All white, big things are cold.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something is white and cold then it is rough.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Red, green things are white.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Fiona is red.
True
1
proof
[(triple3)]
("Fiona" "is" "red" "+")
triple3
Erin is not white.
False
1
inv-proof
[(triple2)]
("Erin" "is" "white" "-")
triple2
Erin is cold.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "cold" "-")
((triple2) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule7))]
("Erin" "is" "rough" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Gary is not rough.
False
4
inv-proof
[(((triple4 ((triple4) -> rule2)) -> rule7))]
("Gary" "is" "rough" "-")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
True
5
proof
[(((((triple4 ((triple4) -> rule2)) -> rule7)) -> rule3))]
("Gary" "is" "green" "+")
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Erin is not green.
False
5
inv-proof
[(((((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3))]
("Erin" "is" "green" "-")
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("Charlie" "is" "red" "-")
Fiona is big.
Unknown
rconc
[@4: Fiona is big.[CWA. Example of deepest failure = (rule5 <- rule8 <- rule3 <- rule7 <- FAIL)]]
("Fiona" "is" "big" "+")
Fiona is not green.
Unknown
inv-rconc
[@3: Fiona is green.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule8 <- FAIL)]]
("Fiona" "is" "green" "-")
Charlie is cold.
Unknown
rconc
[@3: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- rule8 <- rule4 <- FAIL)]]
("Charlie" "is" "cold" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is green.[(triple1)] Erin is white.[(triple2)] Fiona is red.[(triple3)] Gary is white.[(triple4)] @1: Erin is cold.[(((triple2) -> rule2))] Gary is cold.[(((triple4) -> rule2))] @2: Erin is rough.[(((triple2 ((triple2) -> rule2)) -> rule7))] Gary is rough.[(((triple4 ((triple4) -> rule2)) -> rule7))] @3: Erin is green.[(((((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3))] Gary is green.[(((((triple4 ((triple4) -> rule2)) -> rule7)) -> rule3))] @4: Erin is red.[(((((((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) triple2) -> rule4))] Gary is red.[(((((((triple4 ((triple4) -> rule2)) -> rule7)) -> rule3) triple4) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple4) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
((((((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((((((triple4 ((triple4) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4