Erin is blue. Erin is kind. Erin is red. Erin is rough. Gary is furry. Gary is kind. Gary is red. If someone is blue then they are white. If someone is rough then they are smart. If Erin is rough then Erin is white. All kind people are red. If someone is smart then they are kind. All blue people are kind.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If someone is rough then they are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
If Erin is rough then Erin is white.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "white" "+"))
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is smart then they are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Gary is red.
True
1
proof
[(triple7 OR ((triple6) -> rule4))]
("Gary" "is" "red" "+")
triple7
((triple6) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is not rough.
False
1
inv-proof
[(triple4)]
("Erin" "is" "rough" "-")
triple4
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is blue.[(triple1)] Erin is kind.[(triple2 OR ((triple1) -> rule6) OR ((((triple4) -> rule2)) -> rule5))] Erin is red.[(triple3 OR ((triple2) -> rule4) OR ((((triple1) -> rule6)) -> rule4) OR ((((((triple4) -> rule2)) -> rule5)) -> rule4))] Erin is rough.[(triple4)] Gary is furry.[(triple5)] Gary is kind.[(triple6)] Gary is red.[(triple7 OR ((triple6) -> rule4))] @1: Erin is smart.[(((triple4) -> rule2))] Erin is white.[(((triple1) -> rule1) OR ((triple4) -> rule3))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
((triple1) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple3
((triple2) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
((triple6) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple4) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple1) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple4) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1