Charlie is furry. Charlie is green. Charlie is nice. Charlie is not quiet. Charlie is rough. Charlie is not round. Erin is round. Round people are rough. If someone is nice then they are rough. All rough, round people are not furry. If Erin is nice and Erin is round then Erin is rough. If Erin is furry then Erin is not nice. If someone is round and not rough then they are quiet. If someone is round and not nice then they are not green. If Charlie is not quiet then Charlie is green.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Erin is round.
("Erin" "is" "round" "+")
Round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All rough, round people are not furry.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "-"))
If Erin is nice and Erin is round then Erin is rough.
((("Erin" "is" "nice" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "rough" "+"))
If Erin is furry then Erin is not nice.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "nice" "-"))
If someone is round and not rough then they are quiet.
((("someone" "is" "round" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "quiet" "+"))
If someone is round and not nice then they are not green.
((("someone" "is" "round" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "green" "-"))
If Charlie is not quiet then Charlie is green.
((("Charlie" "is" "quiet" "~")) -> ("Charlie" "is" "green" "+"))
Charlie is not round.
True
1
proof
[(triple6)]
("Charlie" "is" "round" "-")
triple6
Charlie is not green.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule8))]
("Charlie" "is" "green" "-")
triple2
((triple4) -> (rule8 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Erin is rough.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "rough" "+")
((triple7) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple7) -> rule1))]
("Erin" "is" "rough" "-")
((triple7) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not furry.
True
4
proof
[(((((triple7) -> rule1) triple7) -> rule3))]
("Erin" "is" "furry" "-")
((((triple7) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
False
4
inv-proof
[(((((triple7) -> rule1) triple7) -> rule3))]
("Erin" "is" "furry" "+")
((((triple7) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2 OR ((triple4) -> rule8))] Charlie is nice.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is not round.[(triple6)] Charlie is rough.[(triple5 OR ((triple3) -> rule2))] Erin is round.[(triple7)] @1: Erin is rough.[(((triple7) -> rule1))] @2: Erin is not furry.[(((((triple7) -> rule1) triple7) -> rule3))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
((triple4) -> (rule8 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple4
Charlie is not round.
("Charlie" "is" "round" "-")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
((triple7) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not furry.
("Erin" "is" "furry" "-")
((((triple7) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2