Anne is blue. Anne is nice. Anne is quiet. Anne is round. Charlie is big. Charlie is not blue. Charlie is not green. Charlie is nice. Charlie is not round. Charlie is young. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is not quiet. Harry is young. All blue, nice things are round. All blue, young things are green. Quiet, nice things are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is young.
("Harry" "is" "young" "+")
All blue, nice things are round.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
All blue, young things are green.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Quiet, nice things are young.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Charlie is young.
True
1
proof
[(triple10)]
("Charlie" "is" "young" "+")
triple10
Harry is not young.
False
1
inv-proof
[(triple16)]
("Harry" "is" "young" "-")
triple16
Anne is young.
True
3
proof
[(((triple3 triple2) -> rule3))]
("Anne" "is" "young" "+")
((triple3 triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("Anne" "is" "young" "-")
((triple3 triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
True
5
proof
[(((triple1 ((triple3 triple2) -> rule3)) -> rule2))]
("Anne" "is" "green" "+")
((triple1 ((triple3 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not green.
False
5
inv-proof
[(((triple1 ((triple3 triple2) -> rule3)) -> rule2))]
("Anne" "is" "green" "-")
((triple1 ((triple3 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4 OR ((triple1 triple2) -> rule1))] Charlie is big.[(triple5)] Charlie is nice.[(triple8)] Charlie is not blue.[(triple6)] Charlie is not green.[(triple7)] Charlie is not round.[(triple9)] Charlie is young.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is green.[(triple13 OR ((triple12 triple16) -> rule2))] Harry is nice.[(triple14)] Harry is not quiet.[(triple15)] Harry is young.[(triple16)] @1: Anne is young.[(((triple3 triple2) -> rule3))] Harry is round.[(((triple12 triple14) -> rule1))] @2: Anne is green.[(((triple1 ((triple3 triple2) -> rule3)) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple1 triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple6
Charlie is not green.
("Charlie" "is" "green" "-")
triple7
Charlie is not round.
("Charlie" "is" "round" "-")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
((triple12 triple16) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Anne is young.
("Anne" "is" "young" "+")
((triple3 triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple12 triple14) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple1 ((triple3 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2