Young Bob is wearing green pants. Charlie is a rough kind of Fellow, but described as a nice and kind Person, even though Charlie is red. Dave is a nice person who is red because he has a rash. That guy Harry is big, but he's always kind to little ones. Nice people that are blue because they are cold turn green with envy. Those who are nice but a bit rough around the edges are known for being blue. Maybe someone is rough and blue with the cold. A rough, big soul is sure to be nice, too. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue. Nice people who are looking green and seeing red usually feel rather rough.
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Charlie is rough.
True
1
proof
[(triple3)]
("Charlie" "is" "rough" "+")
triple3
Charlie is not red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
Charlie is blue.
True
3
proof
[(((triple5 triple3) -> rule2))]
("Charlie" "is" "blue" "+")
((triple5 triple3) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple5 triple3) -> rule2))]
("Charlie" "is" "blue" "-")
((triple5 triple3) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
True
5
proof
[(((triple3 ((triple5 triple3) -> rule2)) -> rule3))]
("Charlie" "is" "cold" "+")
((triple3 ((triple5 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not cold.
False
5
inv-proof
[(((triple3 ((triple5 triple3) -> rule2)) -> rule3))]
("Charlie" "is" "cold" "-")
((triple3 ((triple5 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
True
10
proof
[(((((triple5 triple3) -> rule2) triple5 ((triple3 ((triple5 triple3) -> rule2)) -> rule3)) -> rule1))]
("Charlie" "is" "green" "+")
((((triple5 triple3) -> (rule2 % int3)) triple5 ((triple3 ((triple5 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not green.
False
10
inv-proof
[(((((triple5 triple3) -> rule2) triple5 ((triple3 ((triple5 triple3) -> rule2)) -> rule3)) -> rule1))]
("Charlie" "is" "green" "-")
((((triple5 triple3) -> (rule2 % int3)) triple5 ((triple3 ((triple5 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@4: Dave is blue.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule1 <- rule5 <- FAIL)]]
("Dave" "is" "blue" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "rough" "+")
Dave is not cold.
Unknown
inv-rconc
[@3: Dave is cold.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Harry" "is" "cold" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is green.[(triple2)] Bob is young.[(triple1)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5)] Charlie is red.[(triple4)] Charlie is rough.[(triple3)] Dave is nice.[(triple8)] Dave is red.[(triple7)] Harry is big.[(triple10)] Harry is kind.[(triple9)] @1: Charlie is blue.[(((triple5 triple3) -> rule2))] @2: Charlie is cold.[(((triple3 ((triple5 triple3) -> rule2)) -> rule3))] @3: Charlie is green.[(((((triple5 triple3) -> rule2) triple5 ((triple3 ((triple5 triple3) -> rule2)) -> rule3)) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 triple3) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 ((triple5 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple5 triple3) -> (rule2 % int3)) triple5 ((triple3 ((triple5 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Young Bob is wearing green pants.
Charlie is a rough kind of Fellow, but described as a nice and kind Person, even though Charlie is red.
Dave is a nice person who is red because he has a rash.
That guy Harry is big, but he's always kind to little ones.
Nice people that are blue because they are cold turn green with envy.
Those who are nice but a bit rough around the edges are known for being blue.
Maybe someone is rough and blue with the cold.
A rough, big soul is sure to be nice, too.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
Nice people who are looking green and seeing red usually feel rather rough.