Alan is big and rough. Charlie was born only a few years ago so he is young. Others enjoy Dave's company because he is so nice and kind. Eric is big and dresses in blue. A big person who feels cold and has blue skin is a nice person. Young people who wear red lipstick are certainly kind. Rough people are often round. If you have a big and round shape then you are going to be young, too. When someone feels cold, while being big and rough, they always turn out to be red. A person who is red and green, will also tend to be round shaped and rough. When someone is big, young and rough, they can be cold.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is cold and blue and big then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is round and big then they are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Eric is not big.
False
1
inv-proof
[(triple7)]
("Eric" "is" "big" "-")
triple7
Alan is round.
True
2
proof
[(((triple1) -> rule3))]
("Alan" "is" "round" "+")
((triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
2
inv-proof
[(((triple1) -> rule3))]
("Alan" "is" "round" "-")
((triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
True
4
proof
[(((((triple1) -> rule3) triple2) -> rule4))]
("Alan" "is" "young" "+")
((((triple1) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not young.
False
4
inv-proof
[(((((triple1) -> rule3) triple2) -> rule4))]
("Alan" "is" "young" "-")
((((triple1) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
True
7
proof
[(((triple1 ((((triple1) -> rule3) triple2) -> rule4) triple2) -> rule7))]
("Alan" "is" "cold" "+")
((triple1 ((((triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2)) triple2) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not cold.
False
7
inv-proof
[(((triple1 ((((triple1) -> rule3) triple2) -> rule4) triple2) -> rule7))]
("Alan" "is" "cold" "-")
((triple1 ((((triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2)) triple2) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is red.
True
10
proof
[(((((triple1 ((((triple1) -> rule3) triple2) -> rule4) triple2) -> rule7) triple2 triple1) -> rule5))]
("Alan" "is" "red" "+")
((((triple1 ((((triple1) -> (rule3 % int4)) triple2) -> (rule4 % int3)) triple2) -> (rule7 % int2)) triple2 triple1) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is not red.
False
10
inv-proof
[(((((triple1 ((((triple1) -> rule3) triple2) -> rule4) triple2) -> rule7) triple2 triple1) -> rule5))]
("Alan" "is" "red" "-")
((((triple1 ((((triple1) -> (rule3 % int4)) triple2) -> (rule4 % int3)) triple2) -> (rule7 % int2)) triple2 triple1) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is kind.
True
15
proof
[(((((((triple1 ((((triple1) -> rule3) triple2) -> rule4) triple2) -> rule7) triple2 triple1) -> rule5) ((((triple1) -> rule3) triple2) -> rule4)) -> rule2))]
("Alan" "is" "kind" "+")
((((((triple1 ((((triple1) -> (rule3 % int5)) triple2) -> (rule4 % int4)) triple2) -> (rule7 % int3)) triple2 triple1) -> (rule5 % int2)) ((((triple1) -> (rule3 % int5)) triple2) -> (rule4 % int4))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
Alan is not kind.
False
15
inv-proof
[(((((((triple1 ((((triple1) -> rule3) triple2) -> rule4) triple2) -> rule7) triple2 triple1) -> rule5) ((((triple1) -> rule3) triple2) -> rule4)) -> rule2))]
("Alan" "is" "kind" "-")
((((((triple1 ((((triple1) -> (rule3 % int5)) triple2) -> (rule4 % int4)) triple2) -> (rule7 % int3)) triple2 triple1) -> (rule5 % int2)) ((((triple1) -> (rule3 % int5)) triple2) -> (rule4 % int4))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "rough" "-")
Eric is nice.
Unknown
rconc
[@3: Eric is nice.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule6 <- FAIL)]]
("Eric" "is" "nice" "+")
Dave is not round.
Unknown
inv-rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Dave" "is" "round" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Charlie" "is" "round" "-")
Eric is young.
Unknown
rconc
[@3: Eric is young.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule6 <- FAIL)]]
("Eric" "is" "young" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is big.[(triple2)] Alan is rough.[(triple1)] Charlie is young.[(triple3)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Eric is big.[(triple7)] Eric is blue.[(triple6)] @1: Alan is round.[(((triple1) -> rule3))] @2: Alan is young.[(((((triple1) -> rule3) triple2) -> rule4))] @3: Alan is cold.[(((triple1 ((((triple1) -> rule3) triple2) -> rule4) triple2) -> rule7))] @4: Alan is red.[(((((triple1 ((((triple1) -> rule3) triple2) -> rule4) triple2) -> rule7) triple2 triple1) -> rule5))] @5: Alan is kind.[(((((((triple1 ((((triple1) -> rule3) triple2) -> rule4) triple2) -> rule7) triple2 triple1) -> rule5) ((((triple1) -> rule3) triple2) -> rule4)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Alan is round.
("Alan" "is" "round" "+")
((triple1) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((((triple1) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 ((((triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2)) triple2) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
((((triple1 ((((triple1) -> (rule3 % int4)) triple2) -> (rule4 % int3)) triple2) -> (rule7 % int2)) triple2 triple1) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is kind.
("Alan" "is" "kind" "+")
((((((triple1 ((((triple1) -> (rule3 % int5)) triple2) -> (rule4 % int4)) triple2) -> (rule7 % int3)) triple2 triple1) -> (rule5 % int2)) ((((triple1) -> (rule3 % int5)) triple2) -> (rule4 % int4))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
int5
Alan is big and rough.
Charlie was born only a few years ago so he is young.
Others enjoy Dave's company because he is so nice and kind.
Eric is big and dresses in blue.
A big person who feels cold and has blue skin is a nice person.
Young people who wear red lipstick are certainly kind.
Rough people are often round.
If you have a big and round shape then you are going to be young, too.
When someone feels cold, while being big and rough, they always turn out to be red.
A person who is red and green, will also tend to be round shaped and rough.
When someone is big, young and rough, they can be cold.