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