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