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