Anne is quiet. Anne is red. Anne is white. Anne is young. Harry is cold. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Harry is young. Young things are cold. All cold things are rough.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
All cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Anne is young.
True
1
proof
[(triple4)]
("Anne" "is" "young" "+")
triple4
Harry is not young.
False
1
inv-proof
[(triple10)]
("Harry" "is" "young" "-")
triple10
Anne is cold.
True
2
proof
[(((triple4) -> rule1))]
("Anne" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple4) -> rule1))]
("Anne" "is" "cold" "-")
((triple4) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("Anne" "is" "rough" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not rough.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("Anne" "is" "rough" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Harry is cold.[(triple5 OR ((triple10) -> rule1))] Harry is quiet.[(triple6)] Harry is red.[(triple7)] Harry is rough.[(triple8 OR ((triple5) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Anne is cold.[(((triple4) -> rule1))] @2: Anne is rough.[(((((triple4) -> rule1)) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
((triple10) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
((triple5) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Anne is cold.
("Anne" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2