Anne is blue. Anne is kind. Anne is quiet. Anne is round. Charlie is blue. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is round. Charlie is smart. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is round. If Anne is kind then Anne is round. Furry, kind things are round. If something is round and not quiet then it is not green. If Fiona is smart and Fiona is not quiet then Fiona is kind. If something is green and not smart then it is not blue. If something is kind then it is blue. If something is quiet and blue then it is kind. If Anne is quiet then Anne is kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Anne is kind then Anne is round.
((("Anne" "is" "kind" "+")) -> ("Anne" "is" "round" "+"))
Furry, kind things are round.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If something is round and not quiet then it is not green.
((("something" "is" "round" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "green" "-"))
If Fiona is smart and Fiona is not quiet then Fiona is kind.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "kind" "+"))
If something is green and not smart then it is not blue.
((("something" "is" "green" "+") ("something" "is" "smart" "~")) -> ("something" "is" "blue" "-"))
If something is kind then it is blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If something is quiet and blue then it is kind.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If Anne is quiet then Anne is kind.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "kind" "+"))
Fiona is blue.
True
1
proof
[(triple11 OR ((triple14) -> rule6))]
("Fiona" "is" "blue" "+")
triple11
((triple14) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not furry.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "furry" "-")
triple12
Charlie is kind.
True
3
proof
[(((triple8 triple5) -> rule7))]
("Charlie" "is" "kind" "+")
((triple8 triple5) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
3
inv-proof
[(((triple8 triple5) -> rule7))]
("Charlie" "is" "kind" "-")
((triple8 triple5) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is blue.[(triple1 OR ((triple2) -> rule6) OR ((((triple3) -> rule8)) -> rule6))] Anne is kind.[(triple2 OR ((triple3) -> rule8) OR ((triple3 triple1) -> rule7))] Anne is quiet.[(triple3)] Anne is round.[(triple4 OR ((triple2) -> rule1) OR ((((triple3) -> rule8)) -> rule1) OR ((((triple3 triple1) -> rule7)) -> rule1))] Charlie is blue.[(triple5)] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] Charlie is quiet.[(triple8)] Charlie is round.[(triple9 OR ((triple6 ((triple8 triple5) -> rule7)) -> rule2))] Charlie is smart.[(triple10)] Fiona is blue.[(triple11 OR ((triple14) -> rule6))] Fiona is furry.[(triple12)] Fiona is green.[(triple13)] Fiona is kind.[(triple14)] Fiona is round.[(triple15 OR ((triple12 triple14) -> rule2))] @1: Charlie is kind.[(((triple8 triple5) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple2) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple3) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple3 triple1) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple3 triple1) -> (rule7 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple9
((triple6 ((triple8 triple5) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
((triple14) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
((triple12 triple14) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple8 triple5) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1