Anne is kind. Anne is round. Anne is smart. Charlie is cold. Charlie is furry. Charlie is rough. Erin is furry. Fiona is cold. Fiona is rough. Fiona is round. Furry things are round. If something is round then it is quiet.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If something is round then it is quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Fiona is rough.
True
1
proof
[(triple9)]
("Fiona" "is" "rough" "+")
triple9
Erin is not furry.
False
1
inv-proof
[(triple7)]
("Erin" "is" "furry" "-")
triple7
Fiona is quiet.
True
2
proof
[(((triple10) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Erin" "is" "round" "-")
((triple7) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("Erin" "is" "quiet" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is not quiet.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule2))]
("Erin" "is" "quiet" "-")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is rough.[(triple6)] Erin is furry.[(triple7)] Fiona is cold.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] @1: Anne is quiet.[(((triple2) -> rule2))] Charlie is round.[(((triple5) -> rule1))] Erin is round.[(((triple7) -> rule1))] Fiona is quiet.[(((triple10) -> rule2))] @2: Charlie is quiet.[(((((triple5) -> rule1)) -> rule2))] Erin is quiet.[(((((triple7) -> rule1)) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple7) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2