Charlie is blue. Charlie is cold. Charlie is nice. Charlie is not rough. Charlie is smart. Erin is big. Erin is blue. Erin is cold. Erin is not furry. Erin is nice. Erin is rough. Erin is smart. Rough, smart people are cold. All big, cold people are blue.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Rough, smart people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
All big, cold people are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Erin is not furry.
True
1
proof
[(triple9)]
("Erin" "is" "furry" "-")
triple9
Erin is not nice.
False
1
inv-proof
[(triple10)]
("Erin" "is" "nice" "-")
triple10
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is nice.[(triple3)] Charlie is not rough.[(triple4)] Charlie is smart.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7 OR ((triple6 triple8) -> rule2) OR ((triple6 ((triple11 triple12) -> rule1)) -> rule2))] Erin is cold.[(triple8 OR ((triple11 triple12) -> rule1))] Erin is nice.[(triple10)] Erin is not furry.[(triple9)] Erin is rough.[(triple11)] Erin is smart.[(triple12)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
((triple6 triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple6 ((triple11 triple12) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple8
((triple11 triple12) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Erin is not furry.
("Erin" "is" "furry" "-")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12