Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Erin is furry. Erin is not green. Erin is quiet. Erin is not rough. Erin is not smart. Fiona is green. Fiona is not nice. Fiona is quiet. Fiona is not rough. Fiona is not smart. If someone is green then they are furry. If someone is rough and not green then they are white. Furry people are white. If someone is rough then they are not quiet. If someone is rough and not nice then they are smart. If someone is rough and not nice then they are smart.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is rough and not green then they are white.
((("someone" "is" "rough" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "white" "+"))
Furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If someone is rough then they are not quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "-"))
If someone is rough and not nice then they are smart.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "smart" "+"))
If someone is rough and not nice then they are smart.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "smart" "+"))
Erin is not rough.
True
1
proof
[(triple10)]
("Erin" "is" "rough" "-")
triple10
Erin is rough.
False
1
inv-proof
[(triple10)]
("Erin" "is" "rough" "+")
triple10
Erin is white.
True
2
proof
[(((triple7) -> rule3))]
("Erin" "is" "white" "+")
((triple7) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple7) -> rule3))]
("Erin" "is" "white" "-")
((triple7) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is white.
True
3
proof
[(((((triple12) -> rule1)) -> rule3))]
("Fiona" "is" "white" "+")
((((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple12) -> rule1)) -> rule3))]
("Fiona" "is" "white" "-")
((((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Charlie is furry.[(triple1 OR ((triple2) -> rule1))] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple1) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Erin is furry.[(triple7)] Erin is not green.[(triple8)] Erin is not rough.[(triple10)] Erin is not smart.[(triple11)] Erin is quiet.[(triple9)] Fiona is green.[(triple12)] Fiona is not nice.[(triple13)] Fiona is not rough.[(triple15)] Fiona is not smart.[(triple16)] Fiona is quiet.[(triple14)] @1: Erin is white.[(((triple7) -> rule3))] Fiona is furry.[(((triple12) -> rule1))] @2: Fiona is white.[(((((triple12) -> rule1)) -> rule3))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
((triple2) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
((triple1) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is not green.
("Erin" "is" "green" "-")
triple8
Erin is not rough.
("Erin" "is" "rough" "-")
triple10
Erin is not smart.
("Erin" "is" "smart" "-")
triple11
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple13
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple15
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple16
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Erin is white.
("Erin" "is" "white" "+")
((triple7) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple12) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple12) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2