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