Charlie is big. Fiona is nice. Gary is not furry. If something is red then it is nice. All young, rough things are nice. If Charlie is not quiet and Charlie is not young then Charlie is not rough. If Fiona is not young and Fiona is not furry then Fiona is not rough. Big, nice things are not rough. If something is big then it is red.
Charlie is big.
("Charlie" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
If something is red then it is nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
All young, rough things are nice.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If Charlie is not quiet and Charlie is not young then Charlie is not rough.
((("Charlie" "is" "quiet" "~") ("Charlie" "is" "young" "~")) -> ("Charlie" "is" "rough" "-"))
If Fiona is not young and Fiona is not furry then Fiona is not rough.
((("Fiona" "is" "young" "~") ("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "rough" "-"))
Big, nice things are not rough.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "-"))
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Charlie is big.
True
1
proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Charlie is not big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Charlie is red.
True
2
proof
[(((triple1) -> rule6))]
("Charlie" "is" "red" "+")
((triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple1) -> rule6))]
("Charlie" "is" "red" "-")
((triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
True
3
proof
[(((((triple1) -> rule6)) -> rule1))]
("Charlie" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not nice.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule1))]
("Charlie" "is" "nice" "-")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not rough.
True
5
proof
[(((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule5))]
("Charlie" "is" "rough" "-")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is rough.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule5))]
("Charlie" "is" "rough" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "red" "+")
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Gary" "is" "nice" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Charlie is big.[(triple1)] Fiona is nice.[(triple2)] Gary is not furry.[(triple3)] @1: Charlie is red.[(((triple1) -> rule6))] @2: Charlie is nice.[(((((triple1) -> rule6)) -> rule1))] @3: Charlie is not rough.[(((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Gary is not furry.
("Gary" "is" "furry" "-")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
((triple1) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not rough.
("Charlie" "is" "rough" "-")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3