Alan is so young and darling he is kind to all the old people on the block. Bob was born only a few years ago so he is young. Dave has become rough with permanent red skin from working outdoors for so many years.  He always feels cold.  He is kind to both people and animals. In the snow sits Harry, crying from being cold. Big people who are red in color are often nice. If you meet a kind green person with a round shape they will also be young. Anybody with rough, kind and blue aspects will certainly be cold, too. Young, round people seem to be big in our experience. Someone with the traits of being cold and red is also going to be someone who is big. A big person with cold, rough skin is going to be green as well. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
Alan is young.
("Alan" "is" "young" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("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 rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Dave is rough.
True
1
proof
[(triple4)]
("Dave" "is" "rough" "+")
triple4
Dave is not cold.
False
1
inv-proof
[(triple7)]
("Dave" "is" "cold" "-")
triple7
Dave is big.
True
3
proof
[(((triple7 triple5) -> rule5))]
("Dave" "is" "big" "+")
((triple7 triple5) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
3
inv-proof
[(((triple7 triple5) -> rule5))]
("Dave" "is" "big" "-")
((triple7 triple5) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
True
6
proof
[(((((triple7 triple5) -> rule5) triple7 triple4) -> rule6))]
("Dave" "is" "green" "+")
((((triple7 triple5) -> (rule5 % int2)) triple7 triple4) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((((triple7 triple5) -> rule5) triple5) -> rule1))]
("Dave" "is" "nice" "-")
((((triple7 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
True
10
proof
[(((((((triple7 triple5) -> rule5) triple5) -> rule1) triple6 ((triple7 triple5) -> rule5)) -> rule7))]
("Dave" "is" "young" "+")
((((((triple7 triple5) -> (rule5 % int3)) triple5) -> (rule1 % int2)) triple6 ((triple7 triple5) -> (rule5 % int3))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not young.
False
10
inv-proof
[(((((((triple7 triple5) -> rule5) triple5) -> rule1) triple6 ((triple7 triple5) -> rule5)) -> rule7))]
("Dave" "is" "young" "-")
((((((triple7 triple5) -> (rule5 % int3)) triple5) -> (rule1 % int2)) triple6 ((triple7 triple5) -> (rule5 % int3))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Alan is kind.[(triple2)] Alan is young.[(triple1)] Bob is young.[(triple3)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is red.[(triple5)] Dave is rough.[(triple4)] Harry is cold.[(triple8)] @1: Dave is big.[(((triple7 triple5) -> rule5))] @2: Dave is green.[(((((triple7 triple5) -> rule5) triple7 triple4) -> rule6))] Dave is nice.[(((((triple7 triple5) -> rule5) triple5) -> rule1))] @3: Dave is young.[(((((((triple7 triple5) -> rule5) triple5) -> rule1) triple6 ((triple7 triple5) -> rule5)) -> rule7))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Dave is big.
("Dave" "is" "big" "+")
((triple7 triple5) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple7 triple5) -> (rule5 % int2)) triple7 triple4) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple7 triple5) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((((triple7 triple5) -> (rule5 % int3)) triple5) -> (rule1 % int2)) triple6 ((triple7 triple5) -> (rule5 % int3))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Alan is so young and darling he is kind to all the old people on the block.
Bob was born only a few years ago so he is young.
Dave has become rough with permanent red skin from working outdoors for so many years; He always feels cold; He is kind to both people and animals.
In the snow sits Harry, crying from being cold.
Big people who are red in color are often nice.
If you meet a kind green person with a round shape they will also be young.
Anybody with rough, kind and blue aspects will certainly be cold, too.
Young, round people seem to be big in our experience.
Someone with the traits of being cold and red is also going to be someone who is big.
A big person with cold, rough skin is going to be green as well.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.