Alan is a nice person who is red because he has a rash. Though he is young, Charlie is still nice despite being quite blue. Fred is red with anger because he's green with envy, like all young, rough boys. Harry ate some rotten meat and now feels green. A green person who is cold and round is also big. Young, round, and cold people have a habit of looking pretty red. A person with nice, blue traits who is young will surely be a round person. Anyone with red and blue coloration also has green coloration. A person who is round and nice is cold. Most big and kind people,though young,are often blue.
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is cold and round and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and kind and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Charlie is young.
True
1
proof
[(triple3)]
("Charlie" "is" "young" "+")
triple3
Charlie is not young.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "young" "-")
triple3
Charlie is round.
True
4
proof
[(((triple5 triple4 triple3) -> rule3))]
("Charlie" "is" "round" "+")
((triple5 triple4 triple3) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
4
inv-proof
[(((triple5 triple4 triple3) -> rule3))]
("Charlie" "is" "round" "-")
((triple5 triple4 triple3) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
True
6
proof
[(((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5))]
("Charlie" "is" "cold" "+")
((triple4 ((triple5 triple4 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not cold.
False
6
inv-proof
[(((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5))]
("Charlie" "is" "cold" "-")
((triple4 ((triple5 triple4 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
True
12
proof
[(((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2))]
("Charlie" "is" "red" "+")
((((triple4 ((triple5 triple4 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple3 ((triple5 triple4 triple3) -> (rule3 % int3))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not red.
False
12
inv-proof
[(((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2))]
("Charlie" "is" "red" "-")
((((triple4 ((triple5 triple4 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple3 ((triple5 triple4 triple3) -> (rule3 % int3))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
True
14
proof
[(((((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2) triple5) -> rule4))]
("Charlie" "is" "green" "+")
((((((triple4 ((triple5 triple4 triple3) -> (rule3 % int4))) -> (rule5 % int3)) triple3 ((triple5 triple4 triple3) -> (rule3 % int4))) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not green.
False
14
inv-proof
[(((((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2) triple5) -> rule4))]
("Charlie" "is" "green" "-")
((((((triple4 ((triple5 triple4 triple3) -> (rule3 % int4))) -> (rule5 % int3)) triple3 ((triple5 triple4 triple3) -> (rule3 % int4))) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is big.
True
25
proof
[(((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) ((triple5 triple4 triple3) -> rule3) ((((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2) triple5) -> rule4)) -> rule1))]
("Charlie" "is" "big" "+")
((((triple4 ((triple5 triple4 triple3) -> (rule3 % int5))) -> (rule5 % int4)) ((triple5 triple4 triple3) -> (rule3 % int5)) ((((((triple4 ((triple5 triple4 triple3) -> (rule3 % int5))) -> (rule5 % int4)) triple3 ((triple5 triple4 triple3) -> (rule3 % int5))) -> (rule2 % int3)) triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is not big.
False
25
inv-proof
[(((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) ((triple5 triple4 triple3) -> rule3) ((((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2) triple5) -> rule4)) -> rule1))]
("Charlie" "is" "big" "-")
((((triple4 ((triple5 triple4 triple3) -> (rule3 % int5))) -> (rule5 % int4)) ((triple5 triple4 triple3) -> (rule3 % int5)) ((((((triple4 ((triple5 triple4 triple3) -> (rule3 % int5))) -> (rule5 % int4)) triple3 ((triple5 triple4 triple3) -> (rule3 % int5))) -> (rule2 % int3)) triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "blue" "+")
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Fred" "is" "big" "-")
Alan is big.
Unknown
rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "big" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Alan is nice.[(triple2)] Alan is red.[(triple1)] Charlie is blue.[(triple5)] Charlie is nice.[(triple4)] Charlie is young.[(triple3)] Fred is green.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Fred is young.[(triple6)] Harry is green.[(triple10)] @1: Charlie is round.[(((triple5 triple4 triple3) -> rule3))] @2: Charlie is cold.[(((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5))] @3: Charlie is red.[(((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2))] @4: Charlie is green.[(((((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2) triple5) -> rule4))] @5: Charlie is big.[(((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) ((triple5 triple4 triple3) -> rule3) ((((((triple4 ((triple5 triple4 triple3) -> rule3)) -> rule5) triple3 ((triple5 triple4 triple3) -> rule3)) -> rule2) triple5) -> rule4)) -> rule1))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
((triple5 triple4 triple3) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 ((triple5 triple4 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4 ((triple5 triple4 triple3) -> (rule3 % int3))) -> (rule5 % int2)) triple3 ((triple5 triple4 triple3) -> (rule3 % int3))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((((triple4 ((triple5 triple4 triple3) -> (rule3 % int4))) -> (rule5 % int3)) triple3 ((triple5 triple4 triple3) -> (rule3 % int4))) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
((((triple4 ((triple5 triple4 triple3) -> (rule3 % int5))) -> (rule5 % int4)) ((triple5 triple4 triple3) -> (rule3 % int5)) ((((((triple4 ((triple5 triple4 triple3) -> (rule3 % int5))) -> (rule5 % int4)) triple3 ((triple5 triple4 triple3) -> (rule3 % int5))) -> (rule2 % int3)) triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Alan is a nice person who is red because he has a rash.
Though he is young, Charlie is still nice despite being quite blue.
Fred is red with anger because he's green with envy, like all young, rough boys.
Harry ate some rotten meat and now feels green.
A green person who is cold and round is also big.
Young, round, and cold people have a habit of looking pretty red.
A person with nice, blue traits who is young will surely be a round person.
Anyone with red and blue coloration also has green coloration.
A person who is round and nice is cold.
Most big and kind people,though young,are often blue.