Anne is cold. Anne is nice. Anne is round. Anne is not young. Fiona is big. Fiona is cold. Fiona is red. If something is blue then it is not young. Red things are blue. Cold things are blue. If Anne is young then Anne is nice. If Anne is young and Anne is not red then Anne is not nice. If something is blue and not red then it is round. All red things are nice. If Fiona is not nice then Fiona is round.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not young.
("Anne" "is" "young" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If something is blue then it is not young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "-"))
Red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
Cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If Anne is young then Anne is nice.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "nice" "+"))
If Anne is young and Anne is not red then Anne is not nice.
((("Anne" "is" "young" "+") ("Anne" "is" "red" "~")) -> ("Anne" "is" "nice" "-"))
If something is blue and not red then it is round.
((("something" "is" "blue" "+") ("something" "is" "red" "~")) -> ("something" "is" "round" "+"))
All red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If Fiona is not nice then Fiona is round.
((("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "round" "+"))
Fiona is big.
True
1
proof
[(triple5)]
("Fiona" "is" "big" "+")
triple5
Fiona is not red.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "red" "-")
triple7
Fiona is nice.
True
2
proof
[(((triple7) -> rule7))]
("Fiona" "is" "nice" "+")
((triple7) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "blue" "-")
((triple1) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Fiona is not young.
True
3
proof
[(((((triple6) -> rule3)) -> rule1) OR ((((triple7) -> rule2)) -> rule1))]
("Fiona" "is" "young" "-")
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
False
3
inv-proof
[(((((triple6) -> rule3)) -> rule1) OR ((((triple7) -> rule2)) -> rule1))]
("Fiona" "is" "young" "+")
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "round" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is not young.[(triple4 OR ((((triple1) -> rule3)) -> rule1))] Anne is round.[(triple3)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is red.[(triple7)] @1: Anne is blue.[(((triple1) -> rule3))] Fiona is blue.[(((triple6) -> rule3) OR ((triple7) -> rule2))] Fiona is nice.[(((triple7) -> rule7))] @2: Fiona is not young.[(((((triple6) -> rule3)) -> rule1) OR ((((triple7) -> rule2)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple4
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple6) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple7) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2