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