Charlie is rough, but often feels blue. He is pretty young. Having a round body that is very big makes Harry a kind hearted person that often feels green. Young and rough people tend to be green too. Big people who kind even when look green are often always considered nice. A nice and kind person who is big sized will be cold. Any cold, round, green person is going to be young at the same time. Someone who is young and nice is often round. People blue with cold are definitely green and new in these parts. Red and round people will be cold even in the summer.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is big and kind and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Harry is big.
True
1
proof
[(triple7)]
("Harry" "is" "big" "+")
triple7
Harry is not kind.
False
1
inv-proof
[(triple5)]
("Harry" "is" "kind" "-")
triple5
Charlie is green.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Charlie" "is" "green" "+")
((triple1 triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Harry is not nice.
False
4
inv-proof
[(((triple7 triple5 triple6) -> rule2))]
("Harry" "is" "nice" "-")
((triple7 triple5 triple6) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
True
7
proof
[(((((triple7 triple5 triple6) -> rule2) triple5 triple7) -> rule3))]
("Harry" "is" "cold" "+")
((((triple7 triple5 triple6) -> (rule2 % int2)) triple5 triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not cold.
False
7
inv-proof
[(((((triple7 triple5 triple6) -> rule2) triple5 triple7) -> rule3))]
("Harry" "is" "cold" "-")
((((triple7 triple5 triple6) -> (rule2 % int2)) triple5 triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
True
10
proof
[(((((((triple7 triple5 triple6) -> rule2) triple5 triple7) -> rule3) triple4 triple6) -> rule4))]
("Harry" "is" "young" "+")
((((((triple7 triple5 triple6) -> (rule2 % int3)) triple5 triple7) -> (rule3 % int2)) triple4 triple6) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not young.
False
10
inv-proof
[(((((((triple7 triple5 triple6) -> rule2) triple5 triple7) -> rule3) triple4 triple6) -> rule4))]
("Harry" "is" "young" "-")
((((((triple7 triple5 triple6) -> (rule2 % int3)) triple5 triple7) -> (rule3 % int2)) triple4 triple6) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "green" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is blue.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Harry is big.[(triple7)] Harry is green.[(triple6)] Harry is kind.[(triple5)] Harry is round.[(triple4)] @1: Charlie is green.[(((triple1 triple2) -> rule1))] Harry is nice.[(((triple7 triple5 triple6) -> rule2))] @2: Harry is cold.[(((((triple7 triple5 triple6) -> rule2) triple5 triple7) -> rule3))] @3: Harry is young.[(((((((triple7 triple5 triple6) -> rule2) triple5 triple7) -> rule3) triple4 triple6) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
((triple1 triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 triple5 triple6) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple7 triple5 triple6) -> (rule2 % int2)) triple5 triple7) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((((triple7 triple5 triple6) -> (rule2 % int3)) triple5 triple7) -> (rule3 % int2)) triple4 triple6) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Charlie is rough, but often feels blue; He is pretty young.
Having a round body that is very big makes Harry a kind hearted person that often feels green.
Young and rough people tend to be green too.
Big people who kind even when look green are often always considered nice.
A nice and kind person who is big sized will be cold.
Any cold, round, green person is going to be young at the same time.
Someone who is young and nice is often round.
People blue with cold are definitely green and new in these parts.
Red and round people will be cold even in the summer.