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