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