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