Erin is cold. Erin is green. Erin is quiet. Erin is red. Erin is round. Erin is young. Gary is cold. Gary is furry. Gary is green. Gary is round. Harry is furry. Harry is quiet. Harry is red. Harry is round. Harry is young. Quiet people are cold. If someone is quiet then they are furry. If someone is furry and cold then they are green.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If someone is quiet then they are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and cold then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Gary is furry.
True
1
proof
[(triple8)]
("Gary" "is" "furry" "+")
triple8
Harry is not quiet.
False
1
inv-proof
[(triple12)]
("Harry" "is" "quiet" "-")
triple12
Erin is furry.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "furry" "-")
((triple3) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Harry is green.
True
4
proof
[(((triple11 ((triple12) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((triple12) -> rule1)) -> rule3))]
("Harry" "is" "green" "+")
((triple11 ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is not green.
False
4
inv-proof
[(((triple11 ((triple12) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((triple12) -> rule1)) -> rule3))]
("Harry" "is" "green" "-")
((triple11 ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Erin is cold.[(triple1 OR ((triple3) -> rule1))] Erin is green.[(triple2 OR ((((triple3) -> rule2) triple1) -> rule3) OR ((((triple3) -> rule2) ((triple3) -> rule1)) -> rule3))] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5)] Erin is young.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9 OR ((triple8 triple7) -> rule3))] Gary is round.[(triple10)] Harry is furry.[(triple11 OR ((triple12) -> rule2))] Harry is quiet.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15)] @1: Erin is furry.[(((triple3) -> rule2))] Harry is cold.[(((triple12) -> rule1))] @2: Harry is green.[(((triple11 ((triple12) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((triple12) -> rule1)) -> rule3))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
((triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple2
((((triple3) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
((triple8 triple7) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple12) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Erin is furry.
("Erin" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple12) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple11 ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3