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