Erin is green. Erin is smart. Gary is blue. Gary is cold. Gary is smart. Gary is young. Harry is blue. Harry is green. Harry is smart. Harry is young. If Gary is cold then Gary is round. If Harry is cold then Harry is blue.
Erin is green.
("Erin" "is" "green" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If Gary is cold then Gary is round.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "round" "+"))
If Harry is cold then Harry is blue.
((("Harry" "is" "cold" "+")) -> ("Harry" "is" "blue" "+"))
Gary is cold.
True
1
proof
[(triple4)]
("Gary" "is" "cold" "+")
triple4
Gary is not cold.
False
1
inv-proof
[(triple4)]
("Gary" "is" "cold" "-")
triple4
Gary is round.
True
2
proof
[(((triple4) -> rule1))]
("Gary" "is" "round" "+")
((triple4) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple4) -> rule1))]
("Gary" "is" "round" "-")
((triple4) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Erin is green.[(triple1)] Erin is smart.[(triple2)] Gary is blue.[(triple3)] Gary is cold.[(triple4)] Gary is smart.[(triple5)] Gary is young.[(triple6)] Harry is blue.[(triple7)] Harry is green.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Gary is round.[(((triple4) -> rule1))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
((triple4) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1