Anne is green. Anne is nice. Anne is red. Anne is round. Anne is not white. Dave is big. Dave is green. Dave is nice. Dave is red. Dave is round. Dave is white. Dave is young. Fiona is big. Fiona is green. Fiona is nice. Fiona is red. If something is red and green then it is young. If Fiona is green and Fiona is young then Fiona is round. If Anne is big then Anne is red. If Anne is white then Anne is red. All white things are red. If something is nice and not green then it is big.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not white.
("Anne" "is" "white" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If something is red and green then it is young.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If Fiona is green and Fiona is young then Fiona is round.
((("Fiona" "is" "green" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "round" "+"))
If Anne is big then Anne is red.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "red" "+"))
If Anne is white then Anne is red.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "red" "+"))
All white things are red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
If something is nice and not green then it is big.
((("something" "is" "nice" "+") ("something" "is" "green" "~")) -> ("something" "is" "big" "+"))
Anne is red.
True
1
proof
[(triple3)]
("Anne" "is" "red" "+")
triple3
Dave is not green.
False
1
inv-proof
[(triple7)]
("Dave" "is" "green" "-")
triple7
Fiona is young.
True
3
proof
[(((triple16 triple14) -> rule1))]
("Fiona" "is" "young" "+")
((triple16 triple14) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Anne is not young.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("Anne" "is" "young" "-")
((triple3 triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "big" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is not white.[(triple5)] Anne is red.[(triple3)] Anne is round.[(triple4)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is nice.[(triple8)] Dave is red.[(triple9 OR ((triple11) -> rule5))] Dave is round.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12 OR ((triple9 triple7) -> rule1) OR ((((triple11) -> rule5) triple7) -> rule1))] Fiona is big.[(triple13)] Fiona is green.[(triple14)] Fiona is nice.[(triple15)] Fiona is red.[(triple16)] @1: Anne is young.[(((triple3 triple1) -> rule1))] Fiona is young.[(((triple16 triple14) -> rule1))] @2: Fiona is round.[(((triple14 ((triple16 triple14) -> rule1)) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple5
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple9
((triple11) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
triple11
Dave is young.
("Dave" "is" "young" "+")
triple12
((triple9 triple7) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple11) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple13
Fiona is green.
("Fiona" "is" "green" "+")
triple14
Fiona is nice.
("Fiona" "is" "nice" "+")
triple15
Fiona is red.
("Fiona" "is" "red" "+")
triple16
Anne is young.
("Anne" "is" "young" "+")
((triple3 triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple16 triple14) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple14 ((triple16 triple14) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2