Gary is green. All green people are round. Green people are red. If Gary is cold then Gary is smart. All red, green people are quiet. Smart, round people are green. Cold, smart people are green.
Gary is green.
("Gary" "is" "green" "+")
All green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If Gary is cold then Gary is smart.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "smart" "+"))
All red, green people are quiet.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
Smart, round people are green.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Cold, smart people are green.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
Gary is green.
True
1
proof
[(triple1)]
("Gary" "is" "green" "+")
triple1
Gary is not green.
False
1
inv-proof
[(triple1)]
("Gary" "is" "green" "-")
triple1
Gary is red.
True
2
proof
[(((triple1) -> rule2))]
("Gary" "is" "red" "+")
((triple1) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple1) -> rule2))]
("Gary" "is" "red" "-")
((triple1) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule4))]
("Gary" "is" "quiet" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not quiet.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule4))]
("Gary" "is" "quiet" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Gary is green.[(triple1)] @1: Gary is red.[(((triple1) -> rule2))] Gary is round.[(((triple1) -> rule1))] @2: Gary is quiet.[(((((triple1) -> rule2) triple1) -> rule4))]
Gary is green.
("Gary" "is" "green" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
((triple1) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple1) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2