Anne is red. Anne is smart. Anne is white. Anne is young. Fiona is kind. Fiona is quiet. Fiona is white. Gary is green. Gary is kind. Gary is red. Gary is smart. Gary is young. If Fiona is smart then Fiona is green. If someone is white and kind then they are smart. If someone is young then they are smart. All quiet, young people are white. All red people are kind. If someone is green and quiet then they are red.
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Fiona is smart then Fiona is green.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "green" "+"))
If someone is white and kind then they are smart.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If someone is young then they are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All quiet, young people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and quiet then they are red.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Gary is young.
True
1
proof
[(triple12)]
("Gary" "is" "young" "+")
triple12
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Fiona is smart.
True
3
proof
[(((triple7 triple5) -> rule2))]
("Fiona" "is" "smart" "+")
((triple7 triple5) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
3
inv-proof
[(((triple7 triple5) -> rule2))]
("Fiona" "is" "smart" "-")
((triple7 triple5) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
True
4
proof
[(((((triple7 triple5) -> rule2)) -> rule1))]
("Fiona" "is" "green" "+")
((((triple7 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not green.
False
4
inv-proof
[(((((triple7 triple5) -> rule2)) -> rule1))]
("Fiona" "is" "green" "-")
((((triple7 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
True
6
proof
[(((((((triple7 triple5) -> rule2)) -> rule1) triple6) -> rule6))]
("Fiona" "is" "red" "+")
((((((triple7 triple5) -> (rule2 % int3))) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not red.
False
6
inv-proof
[(((((((triple7 triple5) -> rule2)) -> rule1) triple6) -> rule6))]
("Fiona" "is" "red" "-")
((((((triple7 triple5) -> (rule2 % int3))) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is red.[(triple1)] Anne is smart.[(triple2 OR ((triple4) -> rule3) OR ((triple3 ((triple1) -> rule5)) -> rule2))] Anne is white.[(triple3)] Anne is young.[(triple4)] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is white.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9 OR ((triple10) -> rule5))] Gary is red.[(triple10)] Gary is smart.[(triple11 OR ((triple12) -> rule3))] Gary is young.[(triple12)] @1: Anne is kind.[(((triple1) -> rule5))] Fiona is smart.[(((triple7 triple5) -> rule2))] @2: Fiona is green.[(((((triple7 triple5) -> rule2)) -> rule1))] @3: Fiona is red.[(((((((triple7 triple5) -> rule2)) -> rule1) triple6) -> rule6))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
((triple4) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple3 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
((triple10) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
((triple12) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple12
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple7 triple5) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple7 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple7 triple5) -> (rule2 % int3))) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3