Anne is cold. Anne is round. Anne is young. Bob is cold. Bob is round. Bob is smart. Bob is young. Erin is blue. Erin is quiet. Erin is round. Harry is cold. Harry is smart. If Erin is smart then Erin is green. If something is quiet and round then it is cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Erin is smart then Erin is green.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "green" "+"))
If something is quiet and round then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Erin is blue.
True
1
proof
[(triple8)]
("Erin" "is" "blue" "+")
triple8
Bob is not young.
False
1
inv-proof
[(triple7)]
("Bob" "is" "young" "-")
triple7
Erin is cold.
True
3
proof
[(((triple9 triple10) -> rule2))]
("Erin" "is" "cold" "+")
((triple9 triple10) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
3
inv-proof
[(((triple9 triple10) -> rule2))]
("Erin" "is" "cold" "-")
((triple9 triple10) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Bob is cold.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Erin is blue.[(triple8)] Erin is quiet.[(triple9)] Erin is round.[(triple10)] Harry is cold.[(triple11)] Harry is smart.[(triple12)] @1: Erin is cold.[(((triple9 triple10) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Erin is cold.
("Erin" "is" "cold" "+")
((triple9 triple10) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1