Anne is not cold. Anne is furry. Anne is rough. Anne is smart. Bob is big. Bob is furry. Bob is rough. Charlie is big. Charlie is cold. Charlie is furry. Charlie is round. Charlie is smart. Fiona is not furry. Fiona is not round. Fiona is smart. If someone is furry then they are not nice.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is furry then they are not nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "-"))
Bob is big.
True
1
proof
[(triple5)]
("Bob" "is" "big" "+")
triple5
Bob is not furry.
False
1
inv-proof
[(triple6)]
("Bob" "is" "furry" "-")
triple6
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is furry.[(triple2)] Anne is not cold.[(triple1)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Bob is big.[(triple5)] Bob is furry.[(triple6)] Bob is rough.[(triple7)] Charlie is big.[(triple8)] Charlie is cold.[(triple9)] Charlie is furry.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12)] Fiona is not furry.[(triple13)] Fiona is not round.[(triple14)] Fiona is smart.[(triple15)] @1: Anne is not nice.[(((triple2) -> rule1))] Bob is not nice.[(((triple6) -> rule1))] Charlie is not nice.[(((triple10) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple9
Charlie is furry.
("Charlie" "is" "furry" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
triple11
Charlie is smart.
("Charlie" "is" "smart" "+")
triple12
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple13
Fiona is not round.
("Fiona" "is" "round" "-")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Anne is not nice.
("Anne" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Bob is not nice.
("Bob" "is" "nice" "-")
((triple6) -> (rule1 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Charlie is not nice.
("Charlie" "is" "nice" "-")
((triple10) -> (rule1 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1