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