Anne is furry. Anne is rough. Dave is green. Dave is kind. Erin is furry. Erin is quiet. Erin is rough. Erin is smart. Harry is quiet. Harry is rough. If someone is rough then they are green. Green people are kind. Big, green people are kind. All furry, kind people are green. If Erin is green then Erin is kind. If someone is green then they are quiet. If Harry is furry and Harry is quiet then Harry is kind. All quiet, big people are green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Big, green people are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
All furry, kind people are green.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Erin is green then Erin is kind.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "kind" "+"))
If someone is green then they are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
If Harry is furry and Harry is quiet then Harry is kind.
((("Harry" "is" "furry" "+") ("Harry" "is" "quiet" "+")) -> ("Harry" "is" "kind" "+"))
All quiet, big people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Erin is furry.
True
1
proof
[(triple5)]
("Erin" "is" "furry" "+")
triple5
Harry is not rough.
False
1
inv-proof
[(triple10)]
("Harry" "is" "rough" "-")
triple10
Erin is green.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "green" "+")
((triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "green" "-")
((triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple3) -> rule2))] Erin is furry.[(triple5)] Erin is quiet.[(triple6 OR ((((triple7) -> rule1)) -> rule6))] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Harry is quiet.[(triple9 OR ((((triple10) -> rule1)) -> rule6))] Harry is rough.[(triple10)] @1: Anne is green.[(((triple2) -> rule1))] Dave is quiet.[(((triple3) -> rule6))] Erin is green.[(((triple7) -> rule1))] Harry is green.[(((triple10) -> rule1))] @2: Anne is kind.[(((((triple2) -> rule1)) -> rule2))] Anne is quiet.[(((((triple2) -> rule1)) -> rule6))] Erin is kind.[(((((triple7) -> rule1)) -> rule2) OR ((((triple7) -> rule1)) -> rule5))] Harry is kind.[(((((triple10) -> rule1)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
((triple3) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
((((triple10) -> (rule1 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Anne is green.
("Anne" "is" "green" "+")
((triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple3) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple7) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple10) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2