Nice, but round, Bob has been said to be cold. Most people consider Charlie to bed red. He's pretty cold to people and often feels blue. Charlie is a big person. Upon meeting Dave, you'll notice he's green and kind. Red Eric is what folks call him, because he is quite red. A round person who is nice is young. When young, round people are cold it their skin gets a blue tinge to it. A kind person that is also red and rough is usually also nice. Any green person is a round person. A quite nice person who is red and green is also big. A young round person who is green is also red. Kind people,though green,tend to be nice.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is red.
("Eric" "is" "red" "+")
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and red and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Bob is cold.
True
1
proof
[(triple3)]
("Bob" "is" "cold" "+")
triple3
Charlie is not big.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "big" "-")
triple7
Bob is young.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Bob" "is" "young" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple9) -> rule4))]
("Dave" "is" "round" "-")
((triple9) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
True
6
proof
[(((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1))]
("Dave" "is" "young" "+")
((((triple8 triple9) -> (rule7 % int3)) ((triple9) -> (rule4 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not young.
False
6
inv-proof
[(((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1))]
("Dave" "is" "young" "-")
((((triple8 triple9) -> (rule7 % int3)) ((triple9) -> (rule4 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
True
10
proof
[(((((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1) ((triple9) -> rule4) triple9) -> rule6))]
("Dave" "is" "red" "+")
((((((triple8 triple9) -> (rule7 % int4)) ((triple9) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9) -> (rule4 % int3)) triple9) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is not red.
False
10
inv-proof
[(((((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1) ((triple9) -> rule4) triple9) -> rule6))]
("Dave" "is" "red" "-")
((((((triple8 triple9) -> (rule7 % int4)) ((triple9) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9) -> (rule4 % int3)) triple9) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
True
15
proof
[(((((((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1) ((triple9) -> rule4) triple9) -> rule6) triple9 ((triple8 triple9) -> rule7)) -> rule5))]
("Dave" "is" "big" "+")
((((((((triple8 triple9) -> (rule7 % int5)) ((triple9) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9) -> (rule4 % int4)) triple9) -> (rule6 % int2)) triple9 ((triple8 triple9) -> (rule7 % int5))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is not big.
False
15
inv-proof
[(((((((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1) ((triple9) -> rule4) triple9) -> rule6) triple9 ((triple8 triple9) -> rule7)) -> rule5))]
("Dave" "is" "big" "-")
((((((((triple8 triple9) -> (rule7 % int5)) ((triple9) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9) -> (rule4 % int4)) triple9) -> (rule6 % int2)) triple9 ((triple8 triple9) -> (rule7 % int5))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "big" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "big" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is red.[(triple4)] Dave is green.[(triple9)] Dave is kind.[(triple8)] Eric is red.[(triple10)] @1: Bob is young.[(((triple2 triple1) -> rule1))] Dave is nice.[(((triple8 triple9) -> rule7))] Dave is round.[(((triple9) -> rule4))] @2: Bob is blue.[(((((triple2 triple1) -> rule1) triple1 triple3) -> rule2))] Dave is young.[(((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1))] @3: Dave is red.[(((((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1) ((triple9) -> rule4) triple9) -> rule6))] @4: Dave is big.[(((((((((triple8 triple9) -> rule7) ((triple9) -> rule4)) -> rule1) ((triple9) -> rule4) triple9) -> rule6) triple9 ((triple8 triple9) -> rule7)) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple10
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple8 triple9) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple9) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple2 triple1) -> (rule1 % int2)) triple1 triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple8 triple9) -> (rule7 % int3)) ((triple9) -> (rule4 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((((((triple8 triple9) -> (rule7 % int4)) ((triple9) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9) -> (rule4 % int3)) triple9) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
((((((((triple8 triple9) -> (rule7 % int5)) ((triple9) -> (rule4 % int4))) -> (rule1 % int3)) ((triple9) -> (rule4 % int4)) triple9) -> (rule6 % int2)) triple9 ((triple8 triple9) -> (rule7 % int5))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Nice, but round, Bob has been said to be cold.
Most people consider Charlie to bed red; He's pretty cold to people and often feels blue; Charlie is a big person.
Upon meeting Dave, you'll notice he's green and kind.
Red Eric is what folks call him, because he is quite red.
A round person who is nice is young.
When young, round people are cold it their skin gets a blue tinge to it.
A kind person that is also red and rough is usually also nice.
Any green person is a round person.
A quite nice person who is red and green is also big.
A young round person who is green is also red.
Kind people,though green,tend to be nice.