Dave is not big. Dave is blue. Dave is furry. Dave is young. Erin is big. Erin is blue. Erin is furry. Erin is not kind. Erin is quiet. Erin is red. Erin is young. Harry is furry. Harry is not kind. Harry is quiet. Harry is red. Harry is young. Young, quiet things are blue.
Dave is not big.
("Dave" "is" "big" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Young, quiet things are blue.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Harry is quiet.
True
1
proof
[(triple14)]
("Harry" "is" "quiet" "+")
triple14
Harry is not quiet.
False
1
inv-proof
[(triple14)]
("Harry" "is" "quiet" "-")
triple14
Harry is blue.
True
3
proof
[(((triple16 triple14) -> rule1))]
("Harry" "is" "blue" "+")
((triple16 triple14) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple16 triple14) -> rule1))]
("Harry" "is" "blue" "-")
((triple16 triple14) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is not big.[(triple1)] Dave is young.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6 OR ((triple11 triple9) -> rule1))] Erin is furry.[(triple7)] Erin is not kind.[(triple8)] Erin is quiet.[(triple9)] Erin is red.[(triple10)] Erin is young.[(triple11)] Harry is furry.[(triple12)] Harry is not kind.[(triple13)] Harry is quiet.[(triple14)] Harry is red.[(triple15)] Harry is young.[(triple16)] @1: Harry is blue.[(((triple16 triple14) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is not big.
("Dave" "is" "big" "-")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
((triple11 triple9) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is not kind.
("Erin" "is" "kind" "-")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is not kind.
("Harry" "is" "kind" "-")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Harry is blue.
("Harry" "is" "blue" "+")
((triple16 triple14) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1