Dave, who is round, red, kind, and also green, tends to be rather blue. Even though he's a big dude, Fred is cold. Gary is a kind and red colored guy. Harry is a young and nice man, and he is also very big shaped. Nice and blue people have to be big as well. A rough, blue person is often said to be nice. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. Rough and kind people are big. A young, red person will certainly be cold. Kind people who are also rough are young. It's always true that round, kind people are rough as well.
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and rough and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Fred is cold.
True
1
proof
[(triple6)]
("Fred" "is" "cold" "+")
triple6
Fred is not cold.
False
1
inv-proof
[(triple6)]
("Fred" "is" "cold" "-")
triple6
Dave is rough.
True
3
proof
[(((triple1 triple3) -> rule7))]
("Dave" "is" "rough" "+")
((triple1 triple3) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple1 triple3) -> rule7))]
("Dave" "is" "rough" "-")
((triple1 triple3) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
True
5
proof
[(((((triple1 triple3) -> rule7) triple3) -> rule6))]
("Dave" "is" "young" "+")
((((triple1 triple3) -> (rule7 % int2)) triple3) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not big.
False
5
inv-proof
[(((((triple1 triple3) -> rule7) triple3) -> rule4) OR ((((triple5 ((triple1 triple3) -> rule7)) -> rule2) triple5) -> rule1) OR ((((triple5 ((triple1 triple3) -> rule7)) -> rule2) ((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3)) -> rule1) OR ((((((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) ((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3)) -> rule1))]
("Dave" "is" "big" "-")
((((triple1 triple3) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple5 ((triple1 triple3) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple5 ((triple1 triple3) -> (rule7 % int5))) -> (rule2 % int4)) ((triple3 ((triple1 triple3) -> (rule7 % int5)) ((((triple1 triple3) -> (rule7 % int5)) triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple3 ((triple1 triple3) -> (rule7 % int5)) ((((triple1 triple3) -> (rule7 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple1 triple3) -> (rule7 % int5))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple3 ((triple1 triple3) -> (rule7 % int5)) ((((triple1 triple3) -> (rule7 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple1 triple3) -> (rule7 % int5))) -> (rule2 % int2)) ((triple3 ((triple1 triple3) -> (rule7 % int5)) ((((triple1 triple3) -> (rule7 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is cold.
True
7
proof
[(((triple2 ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule5))]
("Dave" "is" "cold" "+")
((triple2 ((((triple1 triple3) -> (rule7 % int3)) triple3) -> (rule6 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not cold.
False
7
inv-proof
[(((triple2 ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule5))]
("Dave" "is" "cold" "-")
((triple2 ((((triple1 triple3) -> (rule7 % int3)) triple3) -> (rule6 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is cold.
Unknown
rconc
[@3: Gary is cold.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule7 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is big.
Unknown
rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule7 <- FAIL)]]
("Gary" "is" "big" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
@0: Dave is blue.[(triple5 OR ((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3))] Dave is green.[(triple4)] Dave is kind.[(triple3)] Dave is red.[(triple2)] Dave is round.[(triple1)] Fred is big.[(triple7)] Fred is cold.[(triple6)] Gary is kind.[(triple9)] Gary is red.[(triple8)] Harry is big.[(triple12)] Harry is nice.[(triple11)] Harry is young.[(triple10)] @1: Dave is rough.[(((triple1 triple3) -> rule7))] @2: Dave is big.[(((((triple1 triple3) -> rule7) triple3) -> rule4) OR ((((triple5 ((triple1 triple3) -> rule7)) -> rule2) triple5) -> rule1) OR ((((triple5 ((triple1 triple3) -> rule7)) -> rule2) ((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3)) -> rule1) OR ((((((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) ((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3)) -> rule1))] Dave is nice.[(((triple5 ((triple1 triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2))] Dave is young.[(((((triple1 triple3) -> rule7) triple3) -> rule6))] @3: Dave is cold.[(((triple2 ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule5))]
Dave is blue.
("Dave" "is" "blue" "+")
triple5
((triple3 ((triple1 triple3) -> (rule7 % int3)) ((((triple1 triple3) -> (rule7 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
((triple1 triple3) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple1 triple3) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple5 ((triple1 triple3) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple5 ((triple1 triple3) -> (rule7 % int5))) -> (rule2 % int4)) ((triple3 ((triple1 triple3) -> (rule7 % int5)) ((((triple1 triple3) -> (rule7 % int5)) triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple3 ((triple1 triple3) -> (rule7 % int5)) ((((triple1 triple3) -> (rule7 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple1 triple3) -> (rule7 % int5))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple3 ((triple1 triple3) -> (rule7 % int5)) ((((triple1 triple3) -> (rule7 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3)) ((triple1 triple3) -> (rule7 % int5))) -> (rule2 % int2)) ((triple3 ((triple1 triple3) -> (rule7 % int5)) ((((triple1 triple3) -> (rule7 % int5)) triple3) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
((triple5 ((triple1 triple3) -> (rule7 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple3 ((triple1 triple3) -> (rule7 % int4)) ((((triple1 triple3) -> (rule7 % int4)) triple3) -> (rule6 % int3))) -> (rule3 % int2)) ((triple1 triple3) -> (rule7 % int4))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
((((triple1 triple3) -> (rule7 % int2)) triple3) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple2 ((((triple1 triple3) -> (rule7 % int3)) triple3) -> (rule6 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave, who is round, red, kind, and also green, tends to be rather blue.
Even though he's a big dude, Fred is cold.
Gary is a kind and red colored guy.
Harry is a young and nice man, and he is also very big shaped.
Nice and blue people have to be big as well.
A rough, blue person is often said to be nice.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
Rough and kind people are big.
A young, red person will certainly be cold.
Kind people who are also rough are young.
It's always true that round, kind people are rough as well.