Dave is so young and darling he is kind to all the old people on the block. Even though he's a big dude, Eric is cold. Big Fred is cold but kind and always green. Gary fits the description of someone who is rough, red and blue. If someone is cold and young, you'll see that they are kind. Cold, green people have a habit of eating alot and looking quite round. As someone can be round and rough, they can also be nice and kind. When you meet someone with cold, rough skin and a round figure they will be nice. A rather round and green person will be red. When you meet someone who is round, red and green, they will also be young.
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and red and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Gary is red.
True
1
proof
[(triple10)]
("Gary" "is" "red" "+")
triple10
Fred is not cold.
False
1
inv-proof
[(triple7)]
("Fred" "is" "cold" "-")
triple7
Fred is round.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Fred" "is" "round" "+")
((triple7 triple6) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Fred" "is" "round" "-")
((triple7 triple6) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
True
5
proof
[(((((triple7 triple6) -> rule2) triple6) -> rule5))]
("Fred" "is" "red" "+")
((((triple7 triple6) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not red.
False
5
inv-proof
[(((((triple7 triple6) -> rule2) triple6) -> rule5))]
("Fred" "is" "red" "-")
((((triple7 triple6) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is young.
True
10
proof
[(((triple6 ((((triple7 triple6) -> rule2) triple6) -> rule5) ((triple7 triple6) -> rule2)) -> rule6))]
("Fred" "is" "young" "+")
((triple6 ((((triple7 triple6) -> (rule2 % int3)) triple6) -> (rule5 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not young.
False
10
inv-proof
[(((triple6 ((((triple7 triple6) -> rule2) triple6) -> rule5) ((triple7 triple6) -> rule2)) -> rule6))]
("Fred" "is" "young" "-")
((triple6 ((((triple7 triple6) -> (rule2 % int3)) triple6) -> (rule5 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "kind" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Dave is kind.[(triple2)] Dave is young.[(triple1)] Eric is big.[(triple4)] Eric is cold.[(triple3)] Fred is big.[(triple8)] Fred is cold.[(triple7)] Fred is green.[(triple6)] Fred is kind.[(triple5 OR ((triple7 ((triple6 ((((triple7 triple6) -> rule2) triple6) -> rule5) ((triple7 triple6) -> rule2)) -> rule6)) -> rule1))] Gary is blue.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9)] @1: Fred is round.[(((triple7 triple6) -> rule2))] @2: Fred is red.[(((((triple7 triple6) -> rule2) triple6) -> rule5))] @3: Fred is young.[(((triple6 ((((triple7 triple6) -> rule2) triple6) -> rule5) ((triple7 triple6) -> rule2)) -> rule6))]
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
((triple7 ((triple6 ((((triple7 triple6) -> (rule2 % int4)) triple6) -> (rule5 % int3)) ((triple7 triple6) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
((triple7 triple6) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple7 triple6) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple6 ((((triple7 triple6) -> (rule2 % int3)) triple6) -> (rule5 % int2)) ((triple7 triple6) -> (rule2 % int3))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Dave is so young and darling he is kind to all the old people on the block.
Even though he's a big dude, Eric is cold.
Big Fred is cold but kind and always green.
Gary fits the description of someone who is rough, red and blue.
If someone is cold and young, you'll see that they are kind.
Cold, green people have a habit of eating alot and looking quite round.
As someone can be round and rough, they can also be nice and kind.
When you meet someone with cold, rough skin and a round figure they will be nice.
A rather round and green person will be red.
When you meet someone who is round, red and green, they will also be young.