Dave is kind. Dave is round. Harry is not cold. Harry is kind. Harry is red. Harry is rough. Harry is white. Kind things are white.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Kind things are white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
Harry is not cold.
True
1
proof
[(triple3)]
("Harry" "is" "cold" "-")
triple3
Harry is not white.
False
1
inv-proof
[(triple7 OR ((triple4) -> rule1))]
("Harry" "is" "white" "-")
triple7
((triple4) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Dave is white.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "white" "+")
((triple1) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not white.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "white" "-")
((triple1) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Dave is kind.[(triple1)] Dave is round.[(triple2)] Harry is kind.[(triple4)] Harry is not cold.[(triple3)] Harry is red.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7 OR ((triple4) -> rule1))] @1: Dave is white.[(((triple1) -> rule1))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Harry is not cold.
("Harry" "is" "cold" "-")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
((triple4) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple1) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1