Erin is green. Erin is nice. Gary is green. Gary is smart. Gary is white. Harry is green. Harry is red. If Gary is nice and Gary is green then Gary is furry. All red, big people are nice. All furry, smart people are green. All white, nice people are smart. White, green people are smart. All green people are big.
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
If Gary is nice and Gary is green then Gary is furry.
((("Gary" "is" "nice" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "furry" "+"))
All red, big people are nice.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All furry, smart people are green.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All white, nice people are smart.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
White, green people are smart.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
All green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Gary is white.
True
1
proof
[(triple5)]
("Gary" "is" "white" "+")
triple5
Harry is not green.
False
1
inv-proof
[(triple6)]
("Harry" "is" "green" "-")
triple6
Harry is big.
True
2
proof
[(((triple6) -> rule6))]
("Harry" "is" "big" "+")
((triple6) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple6) -> rule6))]
("Harry" "is" "big" "-")
((triple6) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
True
4
proof
[(((triple7 ((triple6) -> rule6)) -> rule2))]
("Harry" "is" "nice" "+")
((triple7 ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not nice.
False
4
inv-proof
[(((triple7 ((triple6) -> rule6)) -> rule2))]
("Harry" "is" "nice" "-")
((triple7 ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "smart" "-")
Harry is smart.
Unknown
rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "smart" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is green.[(triple1)] Erin is nice.[(triple2)] Gary is green.[(triple3)] Gary is smart.[(triple4 OR ((triple5 triple3) -> rule5))] Gary is white.[(triple5)] Harry is green.[(triple6)] Harry is red.[(triple7)] @1: Erin is big.[(((triple1) -> rule6))] Gary is big.[(((triple3) -> rule6))] Harry is big.[(((triple6) -> rule6))] @2: Harry is nice.[(((triple7 ((triple6) -> rule6)) -> rule2))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
triple4
((triple5 triple3) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
((triple1) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple3) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple6) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 ((triple6) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2