You should meet Dave, he is big and rough on the football field but also very young in age. Eric is big and tends to wear red shirts. Harry is rough and cold, but he's young and will get over it. Rough people are often always nice. Big and round people can't help but be cold all of the time. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. When you meet big guys with red hair, then tend to be cold hearted. Red, young people are for the most part round too. Young people tend to rough and nice, but they are also red. When someone is big, young and rough, they can be cold.
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young then they are round.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough and nice then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Dave is young.
True
1
proof
[(triple1)]
("Dave" "is" "young" "+")
triple1
Dave is not big.
False
1
inv-proof
[(triple3)]
("Dave" "is" "big" "-")
triple3
Eric is cold.
True
3
proof
[(((triple5 triple4) -> rule4))]
("Eric" "is" "cold" "+")
((triple5 triple4) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("Harry" "is" "nice" "-")
((triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
True
5
proof
[(((triple6 triple7 ((triple7) -> rule1)) -> rule6))]
("Harry" "is" "red" "+")
((triple6 triple7 ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not red.
False
5
inv-proof
[(((triple6 triple7 ((triple7) -> rule1)) -> rule6))]
("Harry" "is" "red" "-")
((triple6 triple7 ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
True
7
proof
[(((((triple6 triple7 ((triple7) -> rule1)) -> rule6) triple6) -> rule5))]
("Harry" "is" "round" "+")
((((triple6 triple7 ((triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Dave is not round.
False
7
inv-proof
[(((((triple1 triple2 ((triple2) -> rule1)) -> rule6) triple1) -> rule5))]
("Dave" "is" "round" "-")
((((triple1 triple2 ((triple2) -> (rule1 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "red" "-")
Eric is round.
Unknown
rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Eric" "is" "round" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "young" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Dave is big.[(triple3)] Dave is rough.[(triple2)] Dave is young.[(triple1)] Eric is big.[(triple5)] Eric is red.[(triple4)] Harry is cold.[(triple8)] Harry is rough.[(triple7)] Harry is young.[(triple6)] @1: Dave is cold.[(((triple2 triple1 triple3) -> rule7) OR ((triple3 ((triple1 triple2 ((triple2) -> rule1)) -> rule6)) -> rule4) OR ((triple3 ((((triple1 triple2 ((triple2) -> rule1)) -> rule6) triple1) -> rule5)) -> rule2))] Dave is nice.[(((triple2) -> rule1))] Eric is cold.[(((triple5 triple4) -> rule4))] Harry is nice.[(((triple7) -> rule1))] @2: Dave is red.[(((triple1 triple2 ((triple2) -> rule1)) -> rule6))] Harry is red.[(((triple6 triple7 ((triple7) -> rule1)) -> rule6))] @3: Dave is round.[(((((triple1 triple2 ((triple2) -> rule1)) -> rule6) triple1) -> rule5))] Harry is round.[(((((triple6 triple7 ((triple7) -> rule1)) -> rule6) triple6) -> rule5))]
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
((triple2 triple1 triple3) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple3 ((triple1 triple2 ((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple3 ((((triple1 triple2 ((triple2) -> (rule1 % int4))) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple5 triple4) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple1 triple2 ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple6 triple7 ((triple7) -> (rule1 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple1 triple2 ((triple2) -> (rule1 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((((triple6 triple7 ((triple7) -> (rule1 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
You should meet Dave, he is big and rough on the football field but also very young in age.
Eric is big and tends to wear red shirts.
Harry is rough and cold, but he's young and will get over it.
Rough people are often always nice.
Big and round people can't help but be cold all of the time.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
When you meet big guys with red hair, then tend to be cold hearted.
Red, young people are for the most part round too.
Young people tend to rough and nice, but they are also red.
When someone is big, young and rough, they can be cold.