Charlie is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. Dave was born only a few years ago so he is young. Eric is a person who is young and also rough. He's also someone who is big and blue. As much as Harry is nice, he is also cold and often feels blue. Big, young people feel cold all the time. Red, big people can't help but be round as well. Cold, red people are generally kind and big. If you color the young ones blue then they will be kind. A person who is round shaped while also being quite cold tends to be nice. If a person is young and very kind then they will be rather big. A big person with cold, rough skin is going to be green as well.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("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" "+"))
Charlie is kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Eric is not rough.
False
1
inv-proof
[(triple7)]
("Eric" "is" "rough" "-")
triple7
Eric is cold.
True
3
proof
[(((triple6 triple9) -> rule1) OR ((triple6 ((triple6 ((triple8 triple6) -> rule4)) -> rule6)) -> rule1))]
("Eric" "is" "cold" "+")
((triple6 triple9) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
((triple6 ((triple6 ((triple8 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not kind.
False
3
inv-proof
[(((triple8 triple6) -> rule4))]
("Eric" "is" "kind" "-")
((triple8 triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
True
6
proof
[(((triple9 ((triple6 triple9) -> rule1) triple7) -> rule7) OR ((((triple6 ((triple8 triple6) -> rule4)) -> rule6) ((triple6 triple9) -> rule1) triple7) -> rule7) OR ((triple9 ((triple6 ((triple6 ((triple8 triple6) -> rule4)) -> rule6)) -> rule1) triple7) -> rule7) OR ((((triple6 ((triple8 triple6) -> rule4)) -> rule6) ((triple6 ((triple6 ((triple8 triple6) -> rule4)) -> rule6)) -> rule1) triple7) -> rule7))]
("Eric" "is" "green" "+")
((triple9 ((triple6 triple9) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
((((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6 triple9) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((triple9 ((triple6 ((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6 ((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is not green.
False
6
inv-proof
[(((triple9 ((triple6 triple9) -> rule1) triple7) -> rule7) OR ((((triple6 ((triple8 triple6) -> rule4)) -> rule6) ((triple6 triple9) -> rule1) triple7) -> rule7) OR ((triple9 ((triple6 ((triple6 ((triple8 triple6) -> rule4)) -> rule6)) -> rule1) triple7) -> rule7) OR ((((triple6 ((triple8 triple6) -> rule4)) -> rule6) ((triple6 ((triple6 ((triple8 triple6) -> rule4)) -> rule6)) -> rule1) triple7) -> rule7))]
("Eric" "is" "green" "-")
((triple9 ((triple6 triple9) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
((((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6 triple9) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((triple9 ((triple6 ((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6 ((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Charlie is nice.
True
8
proof
[(((((triple1 ((triple2 triple1 triple4) -> rule3)) -> rule2) triple4) -> rule5))]
("Charlie" "is" "nice" "+")
((((triple1 ((triple2 triple1 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not nice.
False
8
inv-proof
[(((((triple1 ((triple2 triple1 triple4) -> rule3)) -> rule2) triple4) -> rule5))]
("Charlie" "is" "nice" "-")
((((triple1 ((triple2 triple1 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Charlie is cold.[(triple4)] Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Charlie is red.[(triple1)] Dave is young.[(triple5)] Eric is big.[(triple9 OR ((triple6 ((triple8 triple6) -> rule4)) -> rule6))] Eric is blue.[(triple8)] Eric is rough.[(triple7)] Eric is young.[(triple6)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is nice.[(triple10)] @1: Charlie is big.[(((triple2 triple1 triple4) -> rule3))] Eric is cold.[(((triple6 triple9) -> rule1) OR ((triple6 ((triple6 ((triple8 triple6) -> rule4)) -> rule6)) -> rule1))] Eric is kind.[(((triple8 triple6) -> rule4))] @2: Charlie is round.[(((triple1 ((triple2 triple1 triple4) -> rule3)) -> rule2))] Eric is green.[(((triple9 ((triple6 triple9) -> rule1) triple7) -> rule7) OR ((((triple6 ((triple8 triple6) -> rule4)) -> rule6) ((triple6 triple9) -> rule1) triple7) -> rule7) OR ((triple9 ((triple6 ((triple6 ((triple8 triple6) -> rule4)) -> rule6)) -> rule1) triple7) -> rule7) OR ((((triple6 ((triple8 triple6) -> rule4)) -> rule6) ((triple6 ((triple6 ((triple8 triple6) -> rule4)) -> rule6)) -> rule1) triple7) -> rule7))] @3: Charlie is nice.[(((((triple1 ((triple2 triple1 triple4) -> rule3)) -> rule2) triple4) -> rule5))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple9
((triple6 ((triple8 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Charlie is big.
("Charlie" "is" "big" "+")
((triple2 triple1 triple4) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple6 triple9) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
((triple6 ((triple6 ((triple8 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
((triple8 triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple1 ((triple2 triple1 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple9 ((triple6 triple9) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
((((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6 triple9) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((triple9 ((triple6 ((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6 ((triple6 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1 ((triple2 triple1 triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket.
Dave was born only a few years ago so he is young.
Eric is a person who is young and also rough; He's also someone who is big and blue.
As much as Harry is nice, he is also cold and often feels blue.
Big, young people feel cold all the time.
Red, big people can't help but be round as well.
Cold, red people are generally kind and big.
If you color the young ones blue then they will be kind.
A person who is round shaped while also being quite cold tends to be nice.
If a person is young and very kind then they will be rather big.
A big person with cold, rough skin is going to be green as well.