Fiona is big. Gary is furry. Gary is red. All furry people are not quiet. If someone is furry and not kind then they are quiet. Big people are rough. If Fiona is rough and Fiona is not blue then Fiona is red. If Gary is rough and Gary is furry then Gary is red. If someone is furry and not big then they are red. If Fiona is big then Fiona is rough. If Gary is red and Gary is not quiet then Gary is blue.
Fiona is big.
("Fiona" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
All furry people are not quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "-"))
If someone is furry and not kind then they are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "quiet" "+"))
Big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If Fiona is rough and Fiona is not blue then Fiona is red.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "red" "+"))
If Gary is rough and Gary is furry then Gary is red.
((("Gary" "is" "rough" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "red" "+"))
If someone is furry and not big then they are red.
((("someone" "is" "furry" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "+"))
If Fiona is big then Fiona is rough.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "rough" "+"))
If Gary is red and Gary is not quiet then Gary is blue.
((("Gary" "is" "red" "+") ("Gary" "is" "quiet" "~")) -> ("Gary" "is" "blue" "+"))
Gary is furry.
True
1
proof
[(triple2)]
("Gary" "is" "furry" "+")
triple2
Fiona is not big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "-")
triple1
Gary is not quiet.
True
2
proof
[(((triple2) -> rule1))]
("Gary" "is" "quiet" "-")
((triple2) -> (rule1 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is quiet.
False
2
inv-proof
[(((triple2) -> rule1))]
("Gary" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is blue.
True
4
proof
[(((triple3 ((triple2) -> rule1)) -> rule8))]
("Gary" "is" "blue" "+")
((triple3 ((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
int2
Gary is not blue.
False
4
inv-proof
[(((triple3 ((triple2) -> rule1)) -> rule8))]
("Gary" "is" "blue" "-")
((triple3 ((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
int2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "red" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is big.[(triple1)] Gary is furry.[(triple2)] Gary is red.[(triple3)] @1: Fiona is rough.[(((triple1) -> rule3) OR ((triple1) -> rule7))] Gary is not quiet.[(((triple2) -> rule1))] @2: Gary is blue.[(((triple3 ((triple2) -> rule1)) -> rule8))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple1) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
((triple2) -> (rule1 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple3 ((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
int2