Charlie is blue. Charlie is young. Erin is big. Erin is young. Gary is blue. Gary is green. Gary is not round. All furry people are not young. If someone is green then they are furry. If someone is furry then they are green. If someone is young then they are not green. If Erin is big and Erin is not blue then Erin is green. All big, furry people are round.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not round.
("Gary" "is" "round" "-")
All furry people are not young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "-"))
If someone is green then they are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is young then they are not green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
If Erin is big and Erin is not blue then Erin is green.
((("Erin" "is" "big" "+") ("Erin" "is" "blue" "~")) -> ("Erin" "is" "green" "+"))
All big, furry people are round.
((("someone" "is" "big" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Gary is blue.
True
1
proof
[(triple5)]
("Gary" "is" "blue" "+")
triple5
Gary is not green.
False
1
inv-proof
[(triple6)]
("Gary" "is" "green" "-")
triple6
Erin is not green.
True
2
proof
[(((triple4) -> rule4))]
("Erin" "is" "green" "-")
((triple4) -> (rule4 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Charlie is green.
False
2
inv-proof
[(((triple2) -> rule4))]
("Charlie" "is" "green" "+")
((triple2) -> (rule4 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "furry" "-")
Erin is round.
Unknown
rconc
[@2: Erin is round.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Erin" "is" "round" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Charlie is blue.[(triple1)] Charlie is young.[(triple2)] Erin is big.[(triple3)] Erin is young.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6)] Gary is not round.[(triple7)] @1: Charlie is not green.[(((triple2) -> rule4))] Erin is not green.[(((triple4) -> rule4))] Gary is furry.[(((triple6) -> rule2))] @2: Gary is not young.[(((((triple6) -> rule2)) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is not round.
("Gary" "is" "round" "-")
triple7
Charlie is not green.
("Charlie" "is" "green" "-")
((triple2) -> (rule4 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Erin is not green.
("Erin" "is" "green" "-")
((triple4) -> (rule4 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple6) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not young.
("Gary" "is" "young" "-")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2