When you meet Fred you'll the two characteristics that will standout is that he's red but also rough. Gary who is considered nice was feeling rather rough today. Harry is blue because he is cold. His skin is red and rough but that doesn't matter because he is also very young. An individual that fits the nice, red, and kind description will fit the description of big, too. All the big and young boys at the park are red. A rough, blue person is often said to be nice. Blue, young and round people are usually big. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. A young person who is both big and blue is also someone who is green. People who are cold and and red are also young and kind.
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and young and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Harry is rough.
True
1
proof
[(triple6)]
("Harry" "is" "rough" "+")
triple6
Gary is not nice.
False
1
inv-proof
[(triple4)]
("Gary" "is" "nice" "-")
triple4
Harry is nice.
True
3
proof
[(((triple9 triple6) -> rule3))]
("Harry" "is" "nice" "+")
((triple9 triple6) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not kind.
False
4
inv-proof
[(((triple7 triple5 triple8) -> rule7))]
("Harry" "is" "kind" "-")
((triple7 triple5 triple8) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
True
9
proof
[(((triple7 ((triple7 triple5 triple8) -> rule7) ((triple9 triple6) -> rule3)) -> rule1))]
("Harry" "is" "big" "+")
((triple7 ((triple7 triple5 triple8) -> (rule7 % int3)) ((triple9 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not big.
False
9
inv-proof
[(((triple7 ((triple7 triple5 triple8) -> rule7) ((triple9 triple6) -> rule3)) -> rule1))]
("Harry" "is" "big" "-")
((triple7 ((triple7 triple5 triple8) -> (rule7 % int3)) ((triple9 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
True
12
proof
[(((triple9 triple5 ((triple7 ((triple7 triple5 triple8) -> rule7) ((triple9 triple6) -> rule3)) -> rule1)) -> rule6))]
("Harry" "is" "green" "+")
((triple9 triple5 ((triple7 ((triple7 triple5 triple8) -> (rule7 % int4)) ((triple9 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is not green.
False
12
inv-proof
[(((triple9 triple5 ((triple7 ((triple7 triple5 triple8) -> rule7) ((triple9 triple6) -> rule3)) -> rule1)) -> rule6))]
("Harry" "is" "green" "-")
((triple9 triple5 ((triple7 ((triple7 triple5 triple8) -> (rule7 % int4)) ((triple9 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "kind" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Fred is red.[(triple2)] Fred is rough.[(triple1)] Gary is nice.[(triple4)] Gary is rough.[(triple3)] Harry is blue.[(triple9)] Harry is cold.[(triple8)] Harry is red.[(triple7)] Harry is rough.[(triple6)] Harry is young.[(triple5)] @1: Harry is kind.[(((triple7 triple5 triple8) -> rule7))] Harry is nice.[(((triple9 triple6) -> rule3))] @2: Harry is big.[(((triple7 ((triple7 triple5 triple8) -> rule7) ((triple9 triple6) -> rule3)) -> rule1))] @3: Harry is green.[(((triple9 triple5 ((triple7 ((triple7 triple5 triple8) -> rule7) ((triple9 triple6) -> rule3)) -> rule1)) -> rule6))]
Fred is red.
("Fred" "is" "red" "+")
triple2
Fred is rough.
("Fred" "is" "rough" "+")
triple1
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple5 triple8) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 triple6) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple7 ((triple7 triple5 triple8) -> (rule7 % int3)) ((triple9 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((triple9 triple5 ((triple7 ((triple7 triple5 triple8) -> (rule7 % int4)) ((triple9 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
When you meet Fred you'll the two characteristics that will standout is that he's red but also rough.
Gary who is considered nice was feeling rather rough today.
Harry is blue because he is cold; His skin is red and rough but that doesn't matter because he is also very young.
An individual that fits the nice, red, and kind description will fit the description of big, too.
All the big and young boys at the park are red.
A rough, blue person is often said to be nice.
Blue, young and round people are usually big.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
A young person who is both big and blue is also someone who is green.
People who are cold and and red are also young and kind.