Anne is big. Anne is blue. Anne is kind. Anne is quiet. Anne is round. Anne is young. Erin is big. Erin is blue. Erin is kind. Erin is round. Erin is not young. Fiona is blue. Harry is not big. Harry is red. Harry is young. All quiet, round things are red. If Fiona is quiet and Fiona is young then Fiona is big. If something is round and red then it is young.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
All quiet, round things are red.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If Fiona is quiet and Fiona is young then Fiona is big.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "big" "+"))
If something is round and red then it is young.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Erin is not young.
True
1
proof
[(triple11)]
("Erin" "is" "young" "-")
triple11
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is red.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Anne" "is" "red" "+")
((triple4 triple5) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Anne" "is" "red" "-")
((triple4 triple5) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6 OR ((triple5 ((triple4 triple5) -> rule1)) -> rule3))] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is kind.[(triple9)] Erin is not young.[(triple11)] Erin is round.[(triple10)] Fiona is blue.[(triple12)] Harry is not big.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)] @1: Anne is red.[(((triple4 triple5) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple5 ((triple4 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is not young.
("Erin" "is" "young" "-")
triple11
Erin is round.
("Erin" "is" "round" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Harry is not big.
("Harry" "is" "big" "-")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Anne is red.
("Anne" "is" "red" "+")
((triple4 triple5) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1