Anne is cold. Anne is furry. Anne is young. Erin is cold. Erin is nice. Gary is not cold. Gary is furry. Gary is nice. Gary is not quiet. Harry is rough. All rough people are young. Nice people are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Harry is rough.
("Harry" "is" "rough" "+")
All rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Erin is nice.
True
1
proof
[(triple5)]
("Erin" "is" "nice" "+")
triple5
Anne is not young.
False
1
inv-proof
[(triple3)]
("Anne" "is" "young" "-")
triple3
Harry is young.
True
2
proof
[(((triple10) -> rule1))]
("Harry" "is" "young" "+")
((triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple10) -> rule1))]
("Harry" "is" "young" "-")
((triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is young.[(triple3)] Erin is cold.[(triple4)] Erin is nice.[(triple5)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is not cold.[(triple6)] Gary is not quiet.[(triple9)] Harry is rough.[(triple10)] @1: Erin is young.[(((triple5) -> rule2))] Gary is young.[(((triple8) -> rule2))] Harry is young.[(((triple10) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is not cold.
("Gary" "is" "cold" "-")
triple6
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
((triple5) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1