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