Charlie has green teeth and rough skin. People also notice his blue eyes. Big, red Eric is quite kind. Fred is red when he is rough and blue when he is kind. Harry has a round face and is very nice. Someone who feels blue with rough skin is also kind and will be young. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. Someone might be red but blue from the cold dressing in green. Anyone that's rough and cold is also going to be blue. A young and kind person with red rosy skin is cold.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is kind and blue and rough then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is green and round and kind then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and kind and red then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Harry is nice.
True
1
proof
[(triple12)]
("Harry" "is" "nice" "+")
triple12
Fred is not kind.
False
1
inv-proof
[(triple9)]
("Fred" "is" "kind" "-")
triple9
Fred is young.
True
4
proof
[(((triple9 triple10 triple7) -> rule1))]
("Fred" "is" "young" "+")
((triple9 triple10 triple7) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
4
inv-proof
[(((triple9 triple10 triple7) -> rule1))]
("Fred" "is" "young" "-")
((triple9 triple10 triple7) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
True
7
proof
[(((((triple9 triple10 triple7) -> rule1) triple9 triple8) -> rule5))]
("Fred" "is" "cold" "+")
((((triple9 triple10 triple7) -> (rule1 % int2)) triple9 triple8) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not cold.
False
7
inv-proof
[(((((triple9 triple10 triple7) -> rule1) triple9 triple8) -> rule5))]
("Fred" "is" "cold" "-")
((((triple9 triple10 triple7) -> (rule1 % int2)) triple9 triple8) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
True
10
proof
[(((((((triple9 triple10 triple7) -> rule1) triple9 triple8) -> rule5) triple10 triple8) -> rule3))]
("Fred" "is" "green" "+")
((((((triple9 triple10 triple7) -> (rule1 % int3)) triple9 triple8) -> (rule5 % int2)) triple10 triple8) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not green.
False
10
inv-proof
[(((((((triple9 triple10 triple7) -> rule1) triple9 triple8) -> rule5) triple10 triple8) -> rule3))]
("Fred" "is" "green" "-")
((((((triple9 triple10 triple7) -> (rule1 % int3)) triple9 triple8) -> (rule5 % int2)) triple10 triple8) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Harry" "is" "green" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "blue" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Charlie is blue.[(triple3)] Charlie is green.[(triple2)] Charlie is rough.[(triple1)] Eric is big.[(triple6)] Eric is kind.[(triple5)] Eric is red.[(triple4)] Fred is blue.[(triple10)] Fred is kind.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Harry is nice.[(triple12)] Harry is round.[(triple11)] @1: Fred is young.[(((triple9 triple10 triple7) -> rule1))] @2: Fred is cold.[(((((triple9 triple10 triple7) -> rule1) triple9 triple8) -> rule5))] @3: Fred is green.[(((((((triple9 triple10 triple7) -> rule1) triple9 triple8) -> rule5) triple10 triple8) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple11
Fred is young.
("Fred" "is" "young" "+")
((triple9 triple10 triple7) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((((triple9 triple10 triple7) -> (rule1 % int2)) triple9 triple8) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((((triple9 triple10 triple7) -> (rule1 % int3)) triple9 triple8) -> (rule5 % int2)) triple10 triple8) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Charlie has green teeth and rough skin; People also notice his blue eyes.
Big, red Eric is quite kind.
Fred is red when he is rough and blue when he is kind.
Harry has a round face and is very nice.
Someone who feels blue with rough skin is also kind and will be young.
A green, inexperienced person with a round shape who is kind to others gets very red when in the sun.
Someone might be red but blue from the cold dressing in green.
Anyone that's rough and cold is also going to be blue.
A young and kind person with red rosy skin is cold.