Dave is not big. Dave is young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is not quiet. Fiona is young. If something is young then it is red.
Dave is not big.
("Dave" "is" "big" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If something is young then it is red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Fiona is furry.
True
1
proof
[(triple5)]
("Fiona" "is" "furry" "+")
triple5
Fiona is quiet.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "quiet" "+")
triple6
Fiona is red.
True
2
proof
[(((triple7) -> rule1))]
("Fiona" "is" "red" "+")
((triple7) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple2) -> rule1))]
("Dave" "is" "red" "-")
((triple2) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Dave is not big.[(triple1)] Dave is young.[(triple2)] Fiona is big.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is not quiet.[(triple6)] Fiona is young.[(triple7)] @1: Dave is red.[(((triple2) -> rule1))] Fiona is red.[(((triple7) -> rule1))]
Dave is not big.
("Dave" "is" "big" "-")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
((triple2) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1