Charlie is blue. Charlie is not nice. Fiona is blue. Fiona is kind. Fiona is red. Gary is green. Gary is nice. If Fiona is red then Fiona is not furry. If something is blue and not furry then it is nice.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Fiona is red then Fiona is not furry.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "furry" "-"))
If something is blue and not furry then it is nice.
((("something" "is" "blue" "+") ("something" "is" "furry" "~")) -> ("something" "is" "nice" "+"))
Fiona is blue.
True
1
proof
[(triple3)]
("Fiona" "is" "blue" "+")
triple3
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Fiona is not furry.
True
2
proof
[(((triple5) -> rule1))]
("Fiona" "is" "furry" "-")
((triple5) -> (rule1 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is furry.
False
2
inv-proof
[(((triple5) -> rule1))]
("Fiona" "is" "furry" "+")
((triple5) -> (rule1 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is nice.
True
4
proof
[(((triple3 ((triple5) -> rule1)) -> rule2))]
("Fiona" "is" "nice" "+")
((triple3 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
int2
Fiona is not nice.
False
4
inv-proof
[(((triple3 ((triple5) -> rule1)) -> rule2))]
("Fiona" "is" "nice" "-")
((triple3 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
int2
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is blue.[(triple1)] Charlie is not nice.[(triple2)] Fiona is blue.[(triple3)] Fiona is kind.[(triple4)] Fiona is red.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] @1: Fiona is not furry.[(((triple5) -> rule1))] @2: Fiona is nice.[(((triple3 ((triple5) -> rule1)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Fiona is not furry.
("Fiona" "is" "furry" "-")
((triple5) -> (rule1 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
int2