Anne is nice. Anne is rough. Anne is white. Erin is blue. Erin is green. Erin is red. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Gary is nice. Gary is red. Gary is white. If Gary is rough then Gary is blue. All red things are rough. Rough, blue things are smart.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is rough then Gary is blue.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "blue" "+"))
All red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Rough, blue things are smart.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
Fiona is white.
True
1
proof
[(triple12)]
("Fiona" "is" "white" "+")
triple12
Erin is not red.
False
1
inv-proof
[(triple6)]
("Erin" "is" "red" "-")
triple6
Gary is rough.
True
2
proof
[(((triple14) -> rule2))]
("Gary" "is" "rough" "+")
((triple14) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple6) -> rule2))]
("Erin" "is" "rough" "-")
((triple6) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Gary is blue.
True
3
proof
[(((((triple14) -> rule2)) -> rule1))]
("Gary" "is" "blue" "+")
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not blue.
False
3
inv-proof
[(((((triple14) -> rule2)) -> rule1))]
("Gary" "is" "blue" "-")
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
True
6
proof
[(((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule1)) -> rule3))]
("Gary" "is" "smart" "+")
((((triple14) -> (rule2 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not smart.
False
6
inv-proof
[(((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule1)) -> rule3))]
("Gary" "is" "smart" "-")
((((triple14) -> (rule2 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "smart" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5)] Erin is red.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10 OR ((triple9) -> rule2))] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14)] Gary is white.[(triple15)] @1: Erin is rough.[(((triple6) -> rule2))] Gary is rough.[(((triple14) -> rule2))] @2: Erin is smart.[(((((triple6) -> rule2) triple4) -> rule3))] Gary is blue.[(((((triple14) -> rule2)) -> rule1))] @3: Gary is smart.[(((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule1)) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
((triple9) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Erin is rough.
("Erin" "is" "rough" "+")
((triple6) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple14) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((((triple6) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((((triple14) -> (rule2 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3