Anne is furry. Anne is nice. Anne is red. Anne is rough. Anne is smart. Anne is young. Bob is furry. Bob is red. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. If Bob is red and Bob is furry then Bob is young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Bob is red and Bob is furry then Bob is young.
((("Bob" "is" "red" "+") ("Bob" "is" "furry" "+")) -> ("Bob" "is" "young" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Anne is not rough.
False
1
inv-proof
[(triple4)]
("Anne" "is" "rough" "-")
triple4
Bob is young.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Bob" "is" "young" "+")
((triple8 triple7) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Bob" "is" "young" "-")
((triple8 triple7) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Bob is furry.[(triple7)] Bob is red.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is smart.[(triple14)] Fiona is young.[(triple15)] @1: Bob is young.[(((triple8 triple7) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Bob is furry.
("Bob" "is" "furry" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Bob is young.
("Bob" "is" "young" "+")
((triple8 triple7) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1