I know Alan really well and you can say he is rough on the outside, cold on the inside and red all of the time. Charlie is big and dresses in blue. Eric was born only a few years ago so he is young. Fred is a very rough person. As expected, he's also a very cold and big individual. Someone who feels blue with rough skin is also kind and will be young. Young round blue people are also big people. Most young and nice people will be kind. Anybody that is big is also someone who is going to be blue. Red haired people who are nice and kind are looked up to because they are always big. If you are big and young then your are also nice. Blue people who are rough are often young.
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 round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and nice and red then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Charlie is big.
True
1
proof
[(triple5)]
("Charlie" "is" "big" "+")
triple5
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Fred is blue.
True
2
proof
[(((triple9) -> rule4))]
("Fred" "is" "blue" "+")
((triple9) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
2
inv-proof
[(((triple9) -> rule4))]
("Fred" "is" "blue" "-")
((triple9) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
True
4
proof
[(((triple7 ((triple9) -> rule4)) -> rule7))]
("Fred" "is" "young" "+")
((triple7 ((triple9) -> (rule4 % int2))) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not young.
False
4
inv-proof
[(((triple7 ((triple9) -> rule4)) -> rule7))]
("Fred" "is" "young" "-")
((triple7 ((triple9) -> (rule4 % int2))) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
True
6
proof
[(((triple9 ((triple7 ((triple9) -> rule4)) -> rule7)) -> rule6))]
("Fred" "is" "nice" "+")
((triple9 ((triple7 ((triple9) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not nice.
False
6
inv-proof
[(((triple9 ((triple7 ((triple9) -> rule4)) -> rule7)) -> rule6))]
("Fred" "is" "nice" "-")
((triple9 ((triple7 ((triple9) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is kind.
True
11
proof
[(((((triple7 ((triple9) -> rule4)) -> rule7) ((triple9 ((triple7 ((triple9) -> rule4)) -> rule7)) -> rule6)) -> rule3))]
("Fred" "is" "kind" "+")
((((triple7 ((triple9) -> (rule4 % int4))) -> (rule7 % int3)) ((triple9 ((triple7 ((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not kind.
False
11
inv-proof
[(((((triple7 ((triple9) -> rule4)) -> rule7) ((triple9 ((triple7 ((triple9) -> rule4)) -> rule7)) -> rule6)) -> rule3))]
("Fred" "is" "kind" "-")
((((triple7 ((triple9) -> (rule4 % int4))) -> (rule7 % int3)) ((triple9 ((triple7 ((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Charlie" "is" "nice" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Eric is kind.
Unknown
rconc
[@3: Eric is kind.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule2 <- FAIL)]]
("Eric" "is" "kind" "+")
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Alan" "is" "nice" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is blue.[(triple4 OR ((triple5) -> rule4))] Eric is young.[(triple6)] Fred is big.[(triple9)] Fred is cold.[(triple8)] Fred is rough.[(triple7)] @1: Fred is blue.[(((triple9) -> rule4))] @2: Fred is young.[(((triple7 ((triple9) -> rule4)) -> rule7))] @3: Fred is nice.[(((triple9 ((triple7 ((triple9) -> rule4)) -> rule7)) -> rule6))] @4: Fred is kind.[(((((triple7 ((triple9) -> rule4)) -> rule7) ((triple9 ((triple7 ((triple9) -> rule4)) -> rule7)) -> rule6)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
((triple5) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
((triple9) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple7 ((triple9) -> (rule4 % int2))) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((triple9 ((triple7 ((triple9) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
((((triple7 ((triple9) -> (rule4 % int4))) -> (rule7 % int3)) ((triple9 ((triple7 ((triple9) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
I know Alan really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Charlie is big and dresses in blue.
Eric was born only a few years ago so he is young.
Fred is a very rough person; As expected, he's also a very cold and big individual.
Someone who feels blue with rough skin is also kind and will be young.
Young round blue people are also big people.
Most young and nice people will be kind.
Anybody that is big is also someone who is going to be blue.
Red haired people who are nice and kind are looked up to because they are always big.
If you are big and young then your are also nice.
Blue people who are rough are often young.