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