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