Young, red Alan is nice. Bob is a rough man with a big heart who has red hair and a nice smile. When you meet Dave you'll the two characteristics that will standout is that he's red but also rough. Harry is big and round man that is looking rather green after seeing some bad mayonnaise. A nice young person who is red is cold. Red, big people can't help but be round as well. A person fitting the description of rough, cold and red will also be a nice person. When someone feels blue and rough, they might be described as green. A person who is cold with a red nose will be feeling blue. A rough and round shaped person will be nice and also young. If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and red and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is green and kind and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Bob is red.
True
1
proof
[(triple5)]
("Bob" "is" "red" "+")
triple5
Bob is not big.
False
1
inv-proof
[(triple7)]
("Bob" "is" "big" "-")
triple7
Alan is cold.
True
4
proof
[(((triple3 triple2 triple1) -> rule1))]
("Alan" "is" "cold" "+")
((triple3 triple2 triple1) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple5 triple7) -> rule2))]
("Bob" "is" "round" "-")
((triple5 triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
True
6
proof
[(((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6))]
("Bob" "is" "young" "+")
((triple4 ((triple5 triple7) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not young.
False
6
inv-proof
[(((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6))]
("Bob" "is" "young" "-")
((triple4 ((triple5 triple7) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
True
9
proof
[(((triple6 triple5 ((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6)) -> rule1))]
("Bob" "is" "cold" "+")
((triple6 triple5 ((triple4 ((triple5 triple7) -> (rule2 % int3)) triple6) -> (rule6 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not cold.
False
9
inv-proof
[(((triple6 triple5 ((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6)) -> rule1))]
("Bob" "is" "cold" "-")
((triple6 triple5 ((triple4 ((triple5 triple7) -> (rule2 % int3)) triple6) -> (rule6 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
True
11
proof
[(((((triple6 triple5 ((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6)) -> rule1) triple5) -> rule5))]
("Bob" "is" "blue" "+")
((((triple6 triple5 ((triple4 ((triple5 triple7) -> (rule2 % int4)) triple6) -> (rule6 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is not blue.
False
11
inv-proof
[(((((triple6 triple5 ((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6)) -> rule1) triple5) -> rule5))]
("Bob" "is" "blue" "-")
((((triple6 triple5 ((triple4 ((triple5 triple7) -> (rule2 % int4)) triple6) -> (rule6 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is green.
True
13
proof
[(((((((triple6 triple5 ((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6)) -> rule1) triple5) -> rule5) triple4) -> rule4))]
("Bob" "is" "green" "+")
((((((triple6 triple5 ((triple4 ((triple5 triple7) -> (rule2 % int5)) triple6) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is not green.
False
13
inv-proof
[(((((((triple6 triple5 ((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6)) -> rule1) triple5) -> rule5) triple4) -> rule4))]
("Bob" "is" "green" "-")
((((((triple6 triple5 ((triple4 ((triple5 triple7) -> (rule2 % int5)) triple6) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "round" "-")
Dave is green.
Unknown
rconc
[@4: Dave is green.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule1 <- rule3 <- FAIL)]]
("Dave" "is" "green" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "young" "-")
Dave is cold.
Unknown
rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Dave" "is" "cold" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple7)] Bob is nice.[(triple6)] Bob is red.[(triple5)] Bob is rough.[(triple4)] Dave is red.[(triple9)] Dave is rough.[(triple8)] Harry is big.[(triple12)] Harry is green.[(triple11)] Harry is round.[(triple10)] @1: Alan is cold.[(((triple3 triple2 triple1) -> rule1))] Bob is round.[(((triple5 triple7) -> rule2))] @2: Alan is blue.[(((((triple3 triple2 triple1) -> rule1) triple2) -> rule5))] Bob is young.[(((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6))] @3: Bob is cold.[(((triple6 triple5 ((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6)) -> rule1))] @4: Bob is blue.[(((((triple6 triple5 ((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6)) -> rule1) triple5) -> rule5))] @5: Bob is green.[(((((((triple6 triple5 ((triple4 ((triple5 triple7) -> rule2) triple6) -> rule6)) -> rule1) triple5) -> rule5) triple4) -> rule4))]
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple2 triple1) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple5 triple7) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple3 triple2 triple1) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple4 ((triple5 triple7) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple6 triple5 ((triple4 ((triple5 triple7) -> (rule2 % int3)) triple6) -> (rule6 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
((((triple6 triple5 ((triple4 ((triple5 triple7) -> (rule2 % int4)) triple6) -> (rule6 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((((((triple6 triple5 ((triple4 ((triple5 triple7) -> (rule2 % int5)) triple6) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Young, red Alan is nice.
Bob is a rough man with a big heart who has red hair and a nice smile.
When you meet Dave you'll the two characteristics that will standout is that he's red but also rough.
Harry is big and round man that is looking rather green after seeing some bad mayonnaise.
A nice young person who is red is cold.
Red, big people can't help but be round as well.
A person fitting the description of rough, cold and red will also be a nice person.
When someone feels blue and rough, they might be described as green.
A person who is cold with a red nose will be feeling blue.
A rough and round shaped person will be nice and also young.
If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.