Red Bob is what folks call him, because he is quite red. Young, red Fred is nice. Gary is so young and darling he is kind to all the old people on the block. Harry is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. When you meet someone round, blue and nice they are as a rule rough. Someone who feels blue with rough skin is also kind and will be young. A person who is described as round and rough is usually kind. Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake. A kind and nice person who is looking green is often red.
Bob is red.
("Bob" "is" "red" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue and rough then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and blue and red then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Gary is kind.
True
1
proof
[(triple6)]
("Gary" "is" "kind" "+")
triple6
Fred is not nice.
False
1
inv-proof
[(triple4)]
("Fred" "is" "nice" "-")
triple4
Harry is rough.
True
4
proof
[(((triple9 triple8 triple7) -> rule1))]
("Harry" "is" "rough" "+")
((triple9 triple8 triple7) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
4
inv-proof
[(((triple9 triple8 triple7) -> rule1))]
("Harry" "is" "rough" "-")
((triple9 triple8 triple7) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
True
6
proof
[(((triple7 ((triple9 triple8 triple7) -> rule1)) -> rule3))]
("Harry" "is" "kind" "+")
((triple7 ((triple9 triple8 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not kind.
False
6
inv-proof
[(((triple7 ((triple9 triple8 triple7) -> rule1)) -> rule3))]
("Harry" "is" "kind" "-")
((triple7 ((triple9 triple8 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
True
12
proof
[(((((triple7 ((triple9 triple8 triple7) -> rule1)) -> rule3) triple9 ((triple9 triple8 triple7) -> rule1)) -> rule2))]
("Harry" "is" "young" "+")
((((triple7 ((triple9 triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple9 ((triple9 triple8 triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not young.
False
12
inv-proof
[(((((triple7 ((triple9 triple8 triple7) -> rule1)) -> rule3) triple9 ((triple9 triple8 triple7) -> rule1)) -> rule2))]
("Harry" "is" "young" "-")
((((triple7 ((triple9 triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple9 ((triple9 triple8 triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "red" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "kind" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "cold" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is red.[(triple1)] Fred is nice.[(triple4)] Fred is red.[(triple3)] Fred is young.[(triple2)] Gary is kind.[(triple6)] Gary is young.[(triple5)] Harry is blue.[(triple9)] Harry is nice.[(triple8)] Harry is round.[(triple7)] @1: Harry is rough.[(((triple9 triple8 triple7) -> rule1))] @2: Harry is kind.[(((triple7 ((triple9 triple8 triple7) -> rule1)) -> rule3))] @3: Harry is young.[(((((triple7 ((triple9 triple8 triple7) -> rule1)) -> rule3) triple9 ((triple9 triple8 triple7) -> rule1)) -> rule2))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Fred is nice.
("Fred" "is" "nice" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
((triple9 triple8 triple7) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 ((triple9 triple8 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple7 ((triple9 triple8 triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple9 ((triple9 triple8 triple7) -> (rule1 % int3))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Red Bob is what folks call him, because he is quite red.
Young, red Fred is nice.
Gary is so young and darling he is kind to all the old people on the block.
Harry is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
When you meet someone round, blue and nice they are as a rule rough.
Someone who feels blue with rough skin is also kind and will be young.
A person who is described as round and rough is usually kind.
Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake.
A kind and nice person who is looking green is often red.