Anne is furry. Anne is quiet. Anne is smart. Erin is big. Erin is blue. Erin is quiet. Gary is big. Gary is cold. Gary is furry. Harry is blue. Smart people are big. If Anne is furry then Anne is smart. Cold, big people are quiet.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If Anne is furry then Anne is smart.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "smart" "+"))
Cold, big people are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Anne is quiet.
True
1
proof
[(triple2)]
("Anne" "is" "quiet" "+")
triple2
Erin is not quiet.
False
1
inv-proof
[(triple6)]
("Erin" "is" "quiet" "-")
triple6
Gary is quiet.
True
3
proof
[(((triple8 triple7) -> rule3))]
("Gary" "is" "quiet" "+")
((triple8 triple7) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
3
inv-proof
[(((triple8 triple7) -> rule3))]
("Gary" "is" "quiet" "-")
((triple8 triple7) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is quiet.
Unknown
rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "quiet" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3 OR ((triple1) -> rule2))] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is quiet.[(triple6)] Gary is big.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Harry is blue.[(triple10)] @1: Anne is big.[(((triple3) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] Gary is quiet.[(((triple8 triple7) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
((triple1) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple8 triple7) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1