Charlie is rough, but often feels blue. He is pretty young. Red Dave is what folks call him, because he is quite red. Gary is big and red, but he's young and will grow out of it. If you met Harry you will see that he is round and red, but he is cold. Kind people that are rough and round are also considered big. Most young and nice people will be kind. A rough, blue person is often said to be nice. If a human is both young and kind, they are also cold. Someone who is not only rough and big but also nice will necessarily be round as well. People,though rough and red,tend to be cold too. Someone who is big and kind is blue.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Gary is red.
True
1
proof
[(triple6)]
("Gary" "is" "red" "+")
triple6
Gary is not young.
False
1
inv-proof
[(triple5)]
("Gary" "is" "young" "-")
triple5
Charlie is nice.
True
3
proof
[(((triple3 triple2) -> rule3))]
("Charlie" "is" "nice" "+")
((triple3 triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("Charlie" "is" "nice" "-")
((triple3 triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
True
5
proof
[(((triple1 ((triple3 triple2) -> rule3)) -> rule2))]
("Charlie" "is" "kind" "+")
((triple1 ((triple3 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not kind.
False
5
inv-proof
[(((triple1 ((triple3 triple2) -> rule3)) -> rule2))]
("Charlie" "is" "kind" "-")
((triple1 ((triple3 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
True
7
proof
[(((triple1 ((triple1 ((triple3 triple2) -> rule3)) -> rule2)) -> rule4))]
("Charlie" "is" "cold" "+")
((triple1 ((triple1 ((triple3 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not cold.
False
7
inv-proof
[(((triple1 ((triple1 ((triple3 triple2) -> rule3)) -> rule2)) -> rule4))]
("Charlie" "is" "cold" "-")
((triple1 ((triple1 ((triple3 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Gary is cold.
Unknown
rconc
[@3: Gary is cold.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule3 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Charlie is blue.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Dave is red.[(triple4)] Gary is big.[(triple7)] Gary is red.[(triple6)] Gary is young.[(triple5)] Harry is cold.[(triple10)] Harry is red.[(triple9)] Harry is round.[(triple8)] @1: Charlie is nice.[(((triple3 triple2) -> rule3))] @2: Charlie is kind.[(((triple1 ((triple3 triple2) -> rule3)) -> rule2))] @3: Charlie is cold.[(((triple1 ((triple1 ((triple3 triple2) -> rule3)) -> rule2)) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3 triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1 ((triple3 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1 ((triple1 ((triple3 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough, but often feels blue; He is pretty young.
Red Dave is what folks call him, because he is quite red.
Gary is big and red, but he's young and will grow out of it.
If you met Harry you will see that he is round and red, but he is cold.
Kind people that are rough and round are also considered big.
Most young and nice people will be kind.
A rough, blue person is often said to be nice.
If a human is both young and kind, they are also cold.
Someone who is not only rough and big but also nice will necessarily be round as well.
People,though rough and red,tend to be cold too.
Someone who is big and kind is blue.