Charlie was quite young and green. He was also cold and big. Dave is so young and darling he is kind to all the old people on the block. Fred is a big gentleman who is very nice. He is secretly green with envy. In the snow sits Harry, crying from being cold. A big person in size will definitely be rough. When you meet big guys with red hair, then tend to be cold hearted. Green eyed people are often nice, but when they are also round about the middle they are most certainly kind. A kind person who look green and is round in shape is usually big in stature. People who are nice and rough are looked at as kind. If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice and round then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and kind and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Charlie is green.
True
1
proof
[(triple2)]
("Charlie" "is" "green" "+")
triple2
Dave is not kind.
False
1
inv-proof
[(triple6)]
("Dave" "is" "kind" "-")
triple6
Charlie is rough.
True
2
proof
[(((triple4) -> rule1))]
("Charlie" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple4) -> rule1))]
("Charlie" "is" "rough" "-")
((triple4) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fred is kind.
True
4
proof
[(((triple7 ((triple9) -> rule1)) -> rule5))]
("Fred" "is" "kind" "+")
((triple7 ((triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not kind.
False
4
inv-proof
[(((triple7 ((triple9) -> rule1)) -> rule5))]
("Fred" "is" "kind" "-")
((triple7 ((triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is young.
True
7
proof
[(((triple8 ((triple7 ((triple9) -> rule1)) -> rule5) triple9) -> rule6))]
("Fred" "is" "young" "+")
((triple8 ((triple7 ((triple9) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not young.
False
7
inv-proof
[(((triple8 ((triple7 ((triple9) -> rule1)) -> rule5) triple9) -> rule6))]
("Fred" "is" "young" "-")
((triple8 ((triple7 ((triple9) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "kind" "+")
Dave is not rough.
Unknown
inv-rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Dave" "is" "rough" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "cold" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Charlie is big.[(triple4)] Charlie is cold.[(triple3)] Charlie is green.[(triple2)] Charlie is young.[(triple1)] Dave is kind.[(triple6)] Dave is young.[(triple5)] Fred is big.[(triple9)] Fred is green.[(triple8)] Fred is nice.[(triple7)] Harry is cold.[(triple10)] @1: Charlie is rough.[(((triple4) -> rule1))] Fred is rough.[(((triple9) -> rule1))] @2: Fred is kind.[(((triple7 ((triple9) -> rule1)) -> rule5))] @3: Fred is young.[(((triple8 ((triple7 ((triple9) -> rule1)) -> rule5) triple9) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple9) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple7 ((triple9) -> (rule1 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple8 ((triple7 ((triple9) -> (rule1 % int3))) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Charlie was quite young and green; He was also cold and big.
Dave is so young and darling he is kind to all the old people on the block.
Fred is a big gentleman who is very nice; He is secretly green with envy.
In the snow sits Harry, crying from being cold.
A big person in size will definitely be rough.
When you meet big guys with red hair, then tend to be cold hearted.
Green eyed people are often nice, but when they are also round about the middle they are most certainly kind.
A kind person who look green and is round in shape is usually big in stature.
People who are nice and rough are looked at as kind.
If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.