Most people see Alan as round, albeit nice and big at the same time. Charlie is a cold young man. He is prone the being blue with sadness because he is green with envy. Dave was born only a few years ago so he is young. Even though young Fred is red from his sunburn, his lips are blue because he is cold. Soon you will understand that big people are nice. Nice green people and often blue with sadness. Blue people who are cold are always round in shape. Nice people who are big are always cold because they can't find space near the heater. If a person is young and very kind then they will be rather big. Someone who is round like a dumpling and cold like an icicle are very young in age. A young, cold person is often blue.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Dave is young.
True
1
proof
[(triple8)]
("Dave" "is" "young" "+")
triple8
Alan is not big.
False
1
inv-proof
[(triple3)]
("Alan" "is" "big" "-")
triple3
Alan is cold.
True
3
proof
[(((triple3 triple2) -> rule4) OR ((triple3 ((triple3) -> rule1)) -> rule4))]
("Alan" "is" "cold" "+")
((triple3 triple2) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((triple3 ((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Charlie is not round.
False
3
inv-proof
[(((triple7 triple6) -> rule3) OR ((((triple6 triple4) -> rule7) triple6) -> rule3))]
("Charlie" "is" "round" "-")
((triple7 triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple6 triple4) -> (rule7 % int2)) triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Alan is young.
True
5
proof
[(((triple1 ((triple3 triple2) -> rule4)) -> rule6) OR ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6))]
("Alan" "is" "young" "+")
((triple1 ((triple3 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((triple1 ((triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not young.
False
5
inv-proof
[(((triple1 ((triple3 triple2) -> rule4)) -> rule6) OR ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6))]
("Alan" "is" "young" "-")
((triple1 ((triple3 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((triple1 ((triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is blue.
True
9
proof
[(((((triple3 triple2) -> rule4) ((triple1 ((triple3 triple2) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule1)) -> rule4) ((triple1 ((triple3 triple2) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 triple2) -> rule4) ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule1)) -> rule4) ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6)) -> rule7))]
("Alan" "is" "blue" "+")
((((triple3 triple2) -> (rule4 % int3)) ((triple1 ((triple3 triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((triple1 ((triple3 triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
((((triple3 triple2) -> (rule4 % int4)) ((triple1 ((triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((triple1 ((triple3 ((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is not blue.
False
9
inv-proof
[(((((triple3 triple2) -> rule4) ((triple1 ((triple3 triple2) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule1)) -> rule4) ((triple1 ((triple3 triple2) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 triple2) -> rule4) ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule1)) -> rule4) ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6)) -> rule7))]
("Alan" "is" "blue" "-")
((((triple3 triple2) -> (rule4 % int3)) ((triple1 ((triple3 triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((triple1 ((triple3 triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
((((triple3 triple2) -> (rule4 % int4)) ((triple1 ((triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((triple1 ((triple3 ((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Dave" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "nice" "+")
Dave is not blue.
Unknown
inv-rconc
[@3: Dave is blue.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule5 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "big" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Alan is big.[(triple3)] Alan is nice.[(triple2 OR ((triple3) -> rule1))] Alan is round.[(triple1)] Charlie is blue.[(triple7 OR ((triple6 triple4) -> rule7))] Charlie is cold.[(triple6)] Charlie is green.[(triple5)] Charlie is young.[(triple4 OR ((((triple7 triple6) -> rule3) triple6) -> rule6))] Dave is young.[(triple8)] Fred is blue.[(triple12 OR ((triple11 triple9) -> rule7))] Fred is cold.[(triple11)] Fred is red.[(triple10)] Fred is young.[(triple9 OR ((((triple12 triple11) -> rule3) triple11) -> rule6))] @1: Alan is cold.[(((triple3 triple2) -> rule4) OR ((triple3 ((triple3) -> rule1)) -> rule4))] Charlie is round.[(((triple7 triple6) -> rule3) OR ((((triple6 triple4) -> rule7) triple6) -> rule3))] Fred is round.[(((triple12 triple11) -> rule3) OR ((((triple11 triple9) -> rule7) triple11) -> rule3))] @2: Alan is young.[(((triple1 ((triple3 triple2) -> rule4)) -> rule6) OR ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6))] @3: Alan is blue.[(((((triple3 triple2) -> rule4) ((triple1 ((triple3 triple2) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule1)) -> rule4) ((triple1 ((triple3 triple2) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 triple2) -> rule4) ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule1)) -> rule4) ((triple1 ((triple3 ((triple3) -> rule1)) -> rule4)) -> rule6)) -> rule7))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
((triple3) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
((triple6 triple4) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
((((triple7 triple6) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple12
((triple11 triple9) -> (rule7 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
((((triple12 triple11) -> (rule3 % int2)) triple11) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple2) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((triple3 ((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple7 triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple6 triple4) -> (rule7 % int2)) triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple12 triple11) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
((((triple11 triple9) -> (rule7 % int2)) triple11) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((triple1 ((triple3 triple2) -> (rule4 % int2))) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
((triple1 ((triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
((((triple3 triple2) -> (rule4 % int3)) ((triple1 ((triple3 triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((triple1 ((triple3 triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
((((triple3 triple2) -> (rule4 % int4)) ((triple1 ((triple3 ((triple3) -> (rule1 % int3))) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
int4
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((triple1 ((triple3 ((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Most people see Alan as round, albeit nice and big at the same time.
Charlie is a cold young man; He is prone the being blue with sadness because he is green with envy.
Dave was born only a few years ago so he is young.
Even though young Fred is red from his sunburn, his lips are blue because he is cold.
Soon you will understand that big people are nice.
Nice green people and often blue with sadness.
Blue people who are cold are always round in shape.
Nice people who are big are always cold because they can't find space near the heater.
If a person is young and very kind then they will be rather big.
Someone who is round like a dumpling and cold like an icicle are very young in age.
A young, cold person is often blue.