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