Anne is green. Anne is round. Anne is young. Harry is blue. Harry is green. Harry is nice. Harry is round. Harry is smart. Harry is white. Harry is young. If Harry is green then Harry is blue. If something is green and nice then it is round. If Anne is round and Anne is young then Anne is blue. If Harry is smart and Harry is nice then Harry is blue. If Anne is smart and Anne is round then Anne is blue. All blue things are white. All white, smart things are blue. If something is white and smart then it is young.
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is green then Harry is blue.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "blue" "+"))
If something is green and nice then it is round.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If Anne is round and Anne is young then Anne is blue.
((("Anne" "is" "round" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "blue" "+"))
If Harry is smart and Harry is nice then Harry is blue.
((("Harry" "is" "smart" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "blue" "+"))
If Anne is smart and Anne is round then Anne is blue.
((("Anne" "is" "smart" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "blue" "+"))
All blue things are white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All white, smart things are blue.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
If something is white and smart then it is young.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Harry is nice.
True
1
proof
[(triple6)]
("Harry" "is" "nice" "+")
triple6
Harry is not smart.
False
1
inv-proof
[(triple8)]
("Harry" "is" "smart" "-")
triple8
Anne is blue.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Anne" "is" "blue" "+")
((triple2 triple3) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Anne" "is" "blue" "-")
((triple2 triple3) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
True
4
proof
[(((((triple2 triple3) -> rule3)) -> rule6))]
("Anne" "is" "white" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is not white.
False
4
inv-proof
[(((((triple2 triple3) -> rule3)) -> rule6))]
("Anne" "is" "white" "-")
((((triple2 triple3) -> (rule3 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Harry is blue.[(triple4 OR ((triple5) -> rule1) OR ((triple8 triple6) -> rule4) OR ((triple9 triple8) -> rule7))] Harry is green.[(triple5)] Harry is nice.[(triple6)] Harry is round.[(triple7 OR ((triple5 triple6) -> rule2))] Harry is smart.[(triple8)] Harry is white.[(triple9 OR ((triple4) -> rule6) OR ((((triple5) -> rule1)) -> rule6) OR ((((triple8 triple6) -> rule4)) -> rule6))] Harry is young.[(triple10 OR ((triple9 triple8) -> rule8) OR ((((triple4) -> rule6) triple8) -> rule8) OR ((((((triple5) -> rule1)) -> rule6) triple8) -> rule8) OR ((((((triple8 triple6) -> rule4)) -> rule6) triple8) -> rule8))] @1: Anne is blue.[(((triple2 triple3) -> rule3))] @2: Anne is white.[(((((triple2 triple3) -> rule3)) -> rule6))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
((triple5) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple8 triple6) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple9 triple8) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
((triple5 triple6) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9
((triple4) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple8 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple10
((triple9 triple8) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple4) -> (rule6 % int2)) triple8) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple5) -> (rule1 % int3))) -> (rule6 % int2)) triple8) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple8 triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple8) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
((triple2 triple3) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2