Charlie is furry. Charlie is quiet. Charlie is red. Charlie is round. Charlie is young. Erin is not blue. Erin is furry. Erin is quiet. Erin is round. Harry is blue. Harry is kind. Harry is not quiet. Furry, kind things are not young. If Charlie is furry and Charlie is quiet then Charlie is blue.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Furry, kind things are not young.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "-"))
If Charlie is furry and Charlie is quiet then Charlie is blue.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "blue" "+"))
Erin is round.
True
1
proof
[(triple9)]
("Erin" "is" "round" "+")
triple9
Charlie is not furry.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "furry" "-")
triple1
Charlie is blue.
True
3
proof
[(((triple1 triple2) -> rule2))]
("Charlie" "is" "blue" "+")
((triple1 triple2) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Charlie" "is" "blue" "-")
((triple1 triple2) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Charlie is young.[(triple5)] Erin is furry.[(triple7)] Erin is not blue.[(triple6)] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Harry is blue.[(triple10)] Harry is kind.[(triple11)] Harry is not quiet.[(triple12)] @1: Charlie is blue.[(((triple1 triple2) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is not blue.
("Erin" "is" "blue" "-")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple12
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1 triple2) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1