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