Charlie is not smart. Erin is furry. Erin is smart. Erin is young. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Gary is round. Gary is young. Cold people are smart.
Charlie is not smart.
("Charlie" "is" "smart" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is smart.
("Erin" "is" "smart" "+")
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 quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
Erin is smart.
True
1
proof
[(triple3)]
("Erin" "is" "smart" "+")
triple3
Charlie is smart.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "smart" "+")
triple1
Gary is smart.
True
2
proof
[(((triple5) -> rule1))]
("Gary" "is" "smart" "+")
((triple5) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple5) -> rule1))]
("Gary" "is" "smart" "-")
((triple5) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Charlie is not smart.[(triple1)] Erin is furry.[(triple2)] Erin is smart.[(triple3)] Erin is young.[(triple4)] Gary is cold.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is quiet.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)] @1: Gary is smart.[(((triple5) -> rule1))]
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
((triple5) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1