Red Charlie is what folks call him, because he is quite red. That guy Dave is big, but he's always kind to little ones. You could say that Fred is red and kind and it would also be true that he is cold and big. Harry gets red when he is mad and tends to act very cold. A kind and green person who is rough around the edges is cold. Anybody that is big is also someone who is going to be blue. Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of. A nice big person who is also round is going to be cold. If a person that is blue and green is also cold, that means that they are young. Anyone who's blue is also green.
Charlie is red.
("Charlie" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and big and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Charlie is red.
True
1
proof
[(triple1)]
("Charlie" "is" "red" "+")
triple1
Charlie is not red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "-")
triple1
Fred is blue.
True
2
proof
[(((triple7) -> rule2))]
("Fred" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
2
inv-proof
[(((triple7) -> rule2))]
("Fred" "is" "blue" "-")
((triple7) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Dave is green.
True
3
proof
[(((((triple3) -> rule2)) -> rule6))]
("Dave" "is" "green" "+")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Fred is not green.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule6))]
("Fred" "is" "green" "-")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
True
7
proof
[(((triple6 ((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule5))]
("Fred" "is" "young" "+")
((triple6 ((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not young.
False
7
inv-proof
[(((triple6 ((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule5))]
("Fred" "is" "young" "-")
((triple6 ((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Charlie" "is" "green" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Charlie is red.[(triple1)] Dave is big.[(triple3)] Dave is kind.[(triple2)] Fred is big.[(triple7)] Fred is cold.[(triple6)] Fred is kind.[(triple5)] Fred is red.[(triple4)] Harry is cold.[(triple9)] Harry is red.[(triple8)] @1: Dave is blue.[(((triple3) -> rule2))] Fred is blue.[(((triple7) -> rule2))] @2: Dave is green.[(((((triple3) -> rule2)) -> rule6))] Fred is green.[(((((triple7) -> rule2)) -> rule6))] @3: Fred is young.[(((triple6 ((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule5))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple6 ((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Red Charlie is what folks call him, because he is quite red.
That guy Dave is big, but he's always kind to little ones.
You could say that Fred is red and kind and it would also be true that he is cold and big.
Harry gets red when he is mad and tends to act very cold.
A kind and green person who is rough around the edges is cold.
Anybody that is big is also someone who is going to be blue.
Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of.
A nice big person who is also round is going to be cold.
If a person that is blue and green is also cold, that means that they are young.
Anyone who's blue is also green.