Charlie is cold. Charlie is furry. Charlie is not kind. Charlie is not rough. Charlie is smart. Charlie is white. Dave is nice. Dave is smart. Dave is white. Erin is not cold. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is smart. Erin is white. All rough people are white. If someone is white then they are furry. Cold people are smart. If someone is white and cold then they are smart. If Erin is rough and Erin is not kind then Erin is furry. All rough, white people are nice. If someone is cold then they are not nice. If someone is furry and rough then they are nice.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
All rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If someone is white and cold then they are smart.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If Erin is rough and Erin is not kind then Erin is furry.
((("Erin" "is" "rough" "+") ("Erin" "is" "kind" "~")) -> ("Erin" "is" "furry" "+"))
All rough, white people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold then they are not nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "-"))
If someone is furry and rough then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Charlie is not kind.
True
1
proof
[(triple3)]
("Charlie" "is" "kind" "-")
triple3
Charlie is not white.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "white" "-")
triple6
Dave is furry.
True
2
proof
[(((triple9) -> rule2))]
("Dave" "is" "furry" "+")
((triple9) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
2
inv-proof
[(((triple9) -> rule2))]
("Dave" "is" "furry" "-")
((triple9) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple6) -> rule2))] Charlie is not kind.[(triple3)] Charlie is not rough.[(triple4)] Charlie is smart.[(triple5 OR ((triple1) -> rule3) OR ((triple6 triple1) -> rule4))] Charlie is white.[(triple6)] Dave is nice.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Erin is furry.[(triple11 OR ((triple16) -> rule2) OR ((((triple14) -> rule1)) -> rule2))] Erin is kind.[(triple12)] Erin is nice.[(triple13 OR ((triple11 triple14) -> rule8) OR ((triple14 triple16) -> rule6) OR ((triple14 ((triple14) -> rule1)) -> rule6) OR ((((triple16) -> rule2) triple14) -> rule8) OR ((((((triple14) -> rule1)) -> rule2) triple14) -> rule8))] Erin is not cold.[(triple10)] Erin is rough.[(triple14)] Erin is smart.[(triple15)] Erin is white.[(triple16 OR ((triple14) -> rule1))] @1: Charlie is not nice.[(((triple1) -> rule7))] Dave is furry.[(((triple9) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple6) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple3
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((triple1) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple6 triple1) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple11
((triple16) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
triple12
Erin is nice.
("Erin" "is" "nice" "+")
triple13
((triple11 triple14) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple14 triple16) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple14 ((triple14) -> (rule1 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple16) -> (rule2 % int2)) triple14) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((((triple14) -> (rule1 % int3))) -> (rule2 % int2)) triple14) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not cold.
("Erin" "is" "cold" "-")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple14
Erin is smart.
("Erin" "is" "smart" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16
((triple14) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Charlie is not nice.
("Charlie" "is" "nice" "-")
((triple1) -> (rule7 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple9) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1