Charlie is furry. Charlie is nice. Charlie is not rough. Fiona is cold. Fiona is furry. Fiona is red. Fiona is not rough. Nice things are cold. Cold things are not quiet. Cold things are not rough.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Nice things are cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Cold things are not quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "-"))
Cold things are not rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "-"))
Charlie is nice.
True
1
proof
[(triple2)]
("Charlie" "is" "nice" "+")
triple2
Fiona is not cold.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "cold" "-")
triple4
Charlie is cold.
True
2
proof
[(((triple2) -> rule1))]
("Charlie" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fiona is quiet.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple4) -> (rule2 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Charlie is not quiet.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("Charlie" "is" "quiet" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is quiet.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("Charlie" "is" "quiet" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is not rough.[(triple3 OR ((((triple2) -> rule1)) -> rule3))] Fiona is cold.[(triple4)] Fiona is furry.[(triple5)] Fiona is not rough.[(triple7 OR ((triple4) -> rule3))] Fiona is red.[(triple6)] @1: Charlie is cold.[(((triple2) -> rule1))] Fiona is not quiet.[(((triple4) -> rule2))] @2: Charlie is not quiet.[(((((triple2) -> rule1)) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple3
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple7
((triple4) -> (rule3 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple4) -> (rule2 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2