Anne is blue. Anne is cold. Anne is quiet. Anne is rough. Anne is white. Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is rough. Harry is furry. Harry is nice. Harry is quiet. Harry is white. If something is furry then it is cold. All cold, furry things are rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is furry then it is cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
All cold, furry things are rough.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Anne is quiet.
True
1
proof
[(triple3)]
("Anne" "is" "quiet" "+")
triple3
Erin is not furry.
False
1
inv-proof
[(triple8)]
("Erin" "is" "furry" "-")
triple8
Harry is cold.
True
2
proof
[(((triple12) -> rule1))]
("Harry" "is" "cold" "+")
((triple12) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
2
inv-proof
[(((triple12) -> rule1))]
("Harry" "is" "cold" "-")
((triple12) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
True
4
proof
[(((((triple12) -> rule1) triple12) -> rule2))]
("Harry" "is" "rough" "+")
((((triple12) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not rough.
False
4
inv-proof
[(((((triple12) -> rule1) triple12) -> rule2))]
("Harry" "is" "rough" "-")
((((triple12) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7 OR ((triple8) -> rule1))] Erin is furry.[(triple8)] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is rough.[(triple11 OR ((triple7 triple8) -> rule2) OR ((((triple8) -> rule1) triple8) -> rule2))] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is white.[(triple15)] @1: Harry is cold.[(((triple12) -> rule1))] @2: Harry is rough.[(((((triple12) -> rule1) triple12) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
((triple8) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
((triple7 triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple8) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is cold.
("Harry" "is" "cold" "+")
((triple12) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((((triple12) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2