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