Young Dave got into a fight that left him with red sores on his face. Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Fred gets red when he is mad and tends to act very cold. Harry vowed to always be rough, cold, blue, and big as possible. Cold and rough people will also surely be round shaped. Rough people, round from over eating, who are also cold are young and don't mind the draft. People who are round and young are also quite nice. A person that is rough and round shaped features are going to be red. People who are nice, big, and also rough, are considered red. A nice young person will be rough in texture.
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is round and cold and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Fred is cold.
True
1
proof
[(triple7)]
("Fred" "is" "cold" "+")
triple7
Harry is not rough.
False
1
inv-proof
[(triple8)]
("Harry" "is" "rough" "-")
triple8
Harry is round.
True
3
proof
[(((triple9 triple8) -> rule1))]
("Harry" "is" "round" "+")
((triple9 triple8) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("Harry" "is" "round" "-")
((triple9 triple8) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
True
6
proof
[(((((triple9 triple8) -> rule1) triple9 triple8) -> rule2))]
("Harry" "is" "young" "+")
((((triple9 triple8) -> (rule1 % int2)) triple9 triple8) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not young.
False
6
inv-proof
[(((((triple9 triple8) -> rule1) triple9 triple8) -> rule2))]
("Harry" "is" "young" "-")
((((triple9 triple8) -> (rule1 % int2)) triple9 triple8) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
True
10
proof
[(((((((triple9 triple8) -> rule1) triple9 triple8) -> rule2) ((triple9 triple8) -> rule1)) -> rule3))]
("Harry" "is" "nice" "+")
((((((triple9 triple8) -> (rule1 % int3)) triple9 triple8) -> (rule2 % int2)) ((triple9 triple8) -> (rule1 % int3))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not nice.
False
10
inv-proof
[(((((((triple9 triple8) -> rule1) triple9 triple8) -> rule2) ((triple9 triple8) -> rule1)) -> rule3))]
("Harry" "is" "nice" "-")
((((((triple9 triple8) -> (rule1 % int3)) triple9 triple8) -> (rule2 % int2)) ((triple9 triple8) -> (rule1 % int3))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@3: Fred is round.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule2 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not nice.
Unknown
inv-rconc
[@3: Fred is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule6 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is rough.
Unknown
rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Dave is red.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple5)] Eric is green.[(triple4)] Eric is round.[(triple3)] Fred is cold.[(triple7)] Fred is red.[(triple6)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is rough.[(triple8)] @1: Harry is round.[(((triple9 triple8) -> rule1))] @2: Harry is red.[(((((triple9 triple8) -> rule1) triple8) -> rule4) OR ((((((((triple9 triple8) -> rule1) triple9 triple8) -> rule2) ((triple9 triple8) -> rule1)) -> rule3) triple11 triple8) -> rule5))] Harry is young.[(((((triple9 triple8) -> rule1) triple9 triple8) -> rule2))] @3: Harry is nice.[(((((((triple9 triple8) -> rule1) triple9 triple8) -> rule2) ((triple9 triple8) -> rule1)) -> rule3))]
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
((triple9 triple8) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple9 triple8) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((((triple9 triple8) -> (rule1 % int4)) triple9 triple8) -> (rule2 % int3)) ((triple9 triple8) -> (rule1 % int4))) -> (rule3 % int2)) triple11 triple8) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((((triple9 triple8) -> (rule1 % int2)) triple9 triple8) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple9 triple8) -> (rule1 % int3)) triple9 triple8) -> (rule2 % int2)) ((triple9 triple8) -> (rule1 % int3))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Young Dave got into a fight that left him with red sores on his face.
Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Fred gets red when he is mad and tends to act very cold.
Harry vowed to always be rough, cold, blue, and big as possible.
Cold and rough people will also surely be round shaped.
Rough people, round from over eating, who are also cold are young and don't mind the draft.
People who are round and young are also quite nice.
A person that is rough and round shaped features are going to be red.
People who are nice, big, and also rough, are considered red.
A nice young person will be rough in texture.