Red Bob is what folks call him, because he is quite red. Fred is big and round man that is looking rather green after seeing some bad mayonnaise. The cold, nice, kind man with a round body is known as Gary. Harry is rough around the edges, but he's often blue and always nice. Someone who is both red and blue will also be a nice person. If you meet a kind green person with a round shape they will also be young. If a person is quite big and also round then they are certainly rough too. A green and quite rough person will also be blue. Someone who tends to be icy cold and rough but secretly nice are generally very blue. A round person will also be red. If you meet a young and kind person who is also rough, they are cold, too.
Bob is red.
("Bob" "is" "red" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and rough and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Gary is cold.
True
1
proof
[(triple8)]
("Gary" "is" "cold" "+")
triple8
Gary is not round.
False
1
inv-proof
[(triple5)]
("Gary" "is" "round" "-")
triple5
Fred is rough.
True
3
proof
[(((triple4 triple2) -> rule3))]
("Fred" "is" "rough" "+")
((triple4 triple2) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple4 triple2) -> rule3))]
("Fred" "is" "rough" "-")
((triple4 triple2) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
True
5
proof
[(((((triple4 triple2) -> rule3) triple3) -> rule4))]
("Fred" "is" "blue" "+")
((((triple4 triple2) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not blue.
False
5
inv-proof
[(((((triple4 triple2) -> rule3) triple3) -> rule4))]
("Fred" "is" "blue" "-")
((((triple4 triple2) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
True
8
proof
[(((((triple2) -> rule6) ((((triple4 triple2) -> rule3) triple3) -> rule4)) -> rule1))]
("Fred" "is" "nice" "+")
((((triple2) -> (rule6 % int4)) ((((triple4 triple2) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is not nice.
False
8
inv-proof
[(((((triple2) -> rule6) ((((triple4 triple2) -> rule3) triple3) -> rule4)) -> rule1))]
("Fred" "is" "nice" "-")
((((triple2) -> (rule6 % int4)) ((((triple4 triple2) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Gary" "is" "blue" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is red.[(triple1)] Fred is big.[(triple4)] Fred is green.[(triple3)] Fred is round.[(triple2)] Gary is cold.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Gary is round.[(triple5)] Harry is blue.[(triple11)] Harry is nice.[(triple10)] Harry is rough.[(triple9)] @1: Fred is red.[(((triple2) -> rule6))] Fred is rough.[(((triple4 triple2) -> rule3))] Gary is red.[(((triple5) -> rule6))] @2: Fred is blue.[(((((triple4 triple2) -> rule3) triple3) -> rule4))] @3: Fred is nice.[(((((triple2) -> rule6) ((((triple4 triple2) -> rule3) triple3) -> rule4)) -> rule1))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple3
Fred is round.
("Fred" "is" "round" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
((triple2) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple4 triple2) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple5) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((((triple4 triple2) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((triple2) -> (rule6 % int4)) ((((triple4 triple2) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Red Bob is what folks call him, because he is quite red.
Fred is big and round man that is looking rather green after seeing some bad mayonnaise.
The cold, nice, kind man with a round body is known as Gary.
Harry is rough around the edges, but he's often blue and always nice.
Someone who is both red and blue will also be a nice person.
If you meet a kind green person with a round shape they will also be young.
If a person is quite big and also round then they are certainly rough too.
A green and quite rough person will also be blue.
Someone who tends to be icy cold and rough but secretly nice are generally very blue.
A round person will also be red.
If you meet a young and kind person who is also rough, they are cold, too.