From a certain angle Bob is blue but he is young so maybe that will go away. Red Gary is what folks call him, because he is quite red. One day Harry, a very nice old man with green ears, asked if I was as cold a block of ice. I said no but that I had heard that round people like him are cold blooded. A quite nice person who is red and green is also big. Green people here that are also round and nice are always rough. Big, blue people are red. A rough, big, and round person can't help but be kind as well. If a person has round shape then they are also green and red. Somebody having round, cold and kind traits is also sure to be young. People who are cold and and red are also young and kind.
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and big and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and kind and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Harry is nice.
True
1
proof
[(triple5)]
("Harry" "is" "nice" "+")
triple5
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Harry is red.
True
3
proof
[(((triple6 triple4) -> rule5))]
("Harry" "is" "red" "+")
((triple6 triple4) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not rough.
False
4
inv-proof
[(((triple5 triple4 triple6) -> rule2))]
("Harry" "is" "rough" "-")
((triple5 triple4 triple6) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
True
6
proof
[(((((triple6 triple4) -> rule5) triple6 triple5) -> rule1))]
("Harry" "is" "big" "+")
((((triple6 triple4) -> (rule5 % int2)) triple6 triple5) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not big.
False
6
inv-proof
[(((((triple6 triple4) -> rule5) triple6 triple5) -> rule1))]
("Harry" "is" "big" "-")
((((triple6 triple4) -> (rule5 % int2)) triple6 triple5) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
True
12
proof
[(((((triple5 triple4 triple6) -> rule2) ((((triple6 triple4) -> rule5) triple6 triple5) -> rule1) triple4) -> rule4))]
("Harry" "is" "kind" "+")
((((triple5 triple4 triple6) -> (rule2 % int4)) ((((triple6 triple4) -> (rule5 % int3)) triple6 triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not kind.
False
12
inv-proof
[(((((triple5 triple4 triple6) -> rule2) ((((triple6 triple4) -> rule5) triple6 triple5) -> rule1) triple4) -> rule4))]
("Harry" "is" "kind" "-")
((((triple5 triple4 triple6) -> (rule2 % int4)) ((((triple6 triple4) -> (rule5 % int3)) triple6 triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is young.
True
15
proof
[(((triple4 ((((triple5 triple4 triple6) -> rule2) ((((triple6 triple4) -> rule5) triple6 triple5) -> rule1) triple4) -> rule4) triple7) -> rule6))]
("Harry" "is" "young" "+")
((triple4 ((((triple5 triple4 triple6) -> (rule2 % int5)) ((((triple6 triple4) -> (rule5 % int4)) triple6 triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is not young.
False
15
inv-proof
[(((triple4 ((((triple5 triple4 triple6) -> rule2) ((((triple6 triple4) -> rule5) triple6 triple5) -> rule1) triple4) -> rule4) triple7) -> rule6))]
("Harry" "is" "young" "-")
((triple4 ((((triple5 triple4 triple6) -> (rule2 % int5)) ((((triple6 triple4) -> (rule5 % int4)) triple6 triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "young" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is blue.[(triple2)] Bob is young.[(triple1)] Gary is red.[(triple3)] Harry is cold.[(triple7)] Harry is green.[(triple6)] Harry is nice.[(triple5)] Harry is round.[(triple4)] @1: Harry is red.[(((triple6 triple4) -> rule5))] Harry is rough.[(((triple5 triple4 triple6) -> rule2))] @2: Harry is big.[(((((triple6 triple4) -> rule5) triple6 triple5) -> rule1))] @3: Harry is kind.[(((((triple5 triple4 triple6) -> rule2) ((((triple6 triple4) -> rule5) triple6 triple5) -> rule1) triple4) -> rule4))] @4: Harry is young.[(((triple4 ((((triple5 triple4 triple6) -> rule2) ((((triple6 triple4) -> rule5) triple6 triple5) -> rule1) triple4) -> rule4) triple7) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple4
Harry is red.
("Harry" "is" "red" "+")
((triple6 triple4) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple5 triple4 triple6) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple6 triple4) -> (rule5 % int2)) triple6 triple5) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple5 triple4 triple6) -> (rule2 % int4)) ((((triple6 triple4) -> (rule5 % int3)) triple6 triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((triple4 ((((triple5 triple4 triple6) -> (rule2 % int5)) ((((triple6 triple4) -> (rule5 % int4)) triple6 triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
From a certain angle Bob is blue but he is young so maybe that will go away.
Red Gary is what folks call him, because he is quite red.
One day Harry, a very nice old man with green ears, asked if I was as cold a block of ice; I said no but that I had heard that round people like him are cold blooded.
A quite nice person who is red and green is also big.
Green people here that are also round and nice are always rough.
Big, blue people are red.
A rough, big, and round person can't help but be kind as well.
If a person has round shape then they are also green and red.
Somebody having round, cold and kind traits is also sure to be young.
People who are cold and and red are also young and kind.