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