Bob is furry. Bob is green. Bob is kind. Bob is not young. Dave is cold. Dave is not furry. Dave is not green. Dave is not kind. Dave is round. Dave is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is round. If something is big then it is kind. If something is furry and kind then it is not young.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not young.
("Bob" "is" "young" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not green.
("Dave" "is" "green" "-")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is big then it is kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If something is furry and kind then it is not young.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "-"))
Dave is cold.
True
1
proof
[(triple5)]
("Dave" "is" "cold" "+")
triple5
Dave is not cold.
False
1
inv-proof
[(triple5)]
("Dave" "is" "cold" "-")
triple5
Fiona is kind.
True
2
proof
[(((triple11) -> rule1))]
("Fiona" "is" "kind" "+")
((triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple11) -> rule1))]
("Fiona" "is" "kind" "-")
((triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not young.
True
4
proof
[(((triple13 ((triple11) -> rule1)) -> rule2))]
("Fiona" "is" "young" "-")
((triple13 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
False
4
inv-proof
[(((triple13 ((triple11) -> rule1)) -> rule2))]
("Fiona" "is" "young" "+")
((triple13 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is not young.[(triple4 OR ((triple1 triple3) -> rule2))] Dave is cold.[(triple5)] Dave is not furry.[(triple6)] Dave is not green.[(triple7)] Dave is not kind.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)] Fiona is big.[(triple11)] Fiona is cold.[(triple12)] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is round.[(triple15)] @1: Fiona is kind.[(((triple11) -> rule1))] @2: Fiona is not young.[(((triple13 ((triple11) -> rule1)) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not young.
("Bob" "is" "young" "-")
triple4
((triple1 triple3) -> (rule2 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is not furry.
("Dave" "is" "furry" "-")
triple6
Dave is not green.
("Dave" "is" "green" "-")
triple7
Dave is not kind.
("Dave" "is" "kind" "-")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is green.
("Fiona" "is" "green" "+")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
((triple13 ((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2