Alan is a person both green and big. Being young, Charlie is still green and blue. Harry associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Big, young people feel cold all the time. Nice and blue people have to be big as well. A nice and blue person who's also red will be a rough person. A rough person who is young and nice is also red. Anyone you find who happens to be kind and blue will also be very nice.
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Alan is big.
True
1
proof
[(triple2)]
("Alan" "is" "big" "+")
triple2
Alan is not green.
False
1
inv-proof
[(triple1)]
("Alan" "is" "green" "-")
triple1
Harry is nice.
True
3
proof
[(((triple7 triple9) -> rule5))]
("Harry" "is" "nice" "+")
((triple7 triple9) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple7 triple9) -> rule5))]
("Harry" "is" "nice" "-")
((triple7 triple9) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
True
5
proof
[(((((triple7 triple9) -> rule5) triple9) -> rule2))]
("Harry" "is" "big" "+")
((((triple7 triple9) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not big.
False
5
inv-proof
[(((((triple7 triple9) -> rule5) triple9) -> rule2))]
("Harry" "is" "big" "-")
((((triple7 triple9) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
True
7
proof
[(((triple6 ((((triple7 triple9) -> rule5) triple9) -> rule2)) -> rule1))]
("Harry" "is" "cold" "+")
((triple6 ((((triple7 triple9) -> (rule5 % int3)) triple9) -> (rule2 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not cold.
False
7
inv-proof
[(((triple6 ((((triple7 triple9) -> rule5) triple9) -> rule2)) -> rule1))]
("Harry" "is" "cold" "-")
((triple6 ((((triple7 triple9) -> (rule5 % int3)) triple9) -> (rule2 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "nice" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "+")
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Charlie" "is" "red" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Alan is big.[(triple2)] Alan is green.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is young.[(triple3)] Harry is blue.[(triple9)] Harry is green.[(triple8)] Harry is kind.[(triple7)] Harry is young.[(triple6)] @1: Harry is nice.[(((triple7 triple9) -> rule5))] @2: Harry is big.[(((((triple7 triple9) -> rule5) triple9) -> rule2))] @3: Harry is cold.[(((triple6 ((((triple7 triple9) -> rule5) triple9) -> rule2)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is green.
("Alan" "is" "green" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 triple9) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple7 triple9) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple6 ((((triple7 triple9) -> (rule5 % int3)) triple9) -> (rule2 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Alan is a person both green and big.
Being young, Charlie is still green and blue.
Harry associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
Big, young people feel cold all the time.
Nice and blue people have to be big as well.
A nice and blue person who's also red will be a rough person.
A rough person who is young and nice is also red.
Anyone you find who happens to be kind and blue will also be very nice.