Young Bob is wearing green pants. Dave is a rough kind of Fellow, but described as a nice and kind Person, even though Dave is red. This Eric guy is red. He is also kind and yet cold. Fred is nice and kind, but a little rough. Cold people,though green and red,tend to be rough. A young and cold person is red. If you are green you are also kind. Being green and rough are signs that someone is big. When you meet kind people they wont have a cold heart.
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Eric is cold.
True
1
proof
[(triple9 OR ((triple8) -> rule5))]
("Eric" "is" "cold" "+")
triple9
((triple8) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Fred is not nice.
False
1
inv-proof
[(triple11)]
("Fred" "is" "nice" "-")
triple11
Dave is cold.
True
2
proof
[(((triple6) -> rule5))]
("Dave" "is" "cold" "+")
((triple6) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fred is not cold.
False
2
inv-proof
[(((triple12) -> rule5))]
("Fred" "is" "cold" "-")
((triple12) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Bob is cold.
True
3
proof
[(((((triple2) -> rule3)) -> rule5))]
("Bob" "is" "cold" "+")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not cold.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule5))]
("Bob" "is" "cold" "-")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
True
5
proof
[(((((((triple2) -> rule3)) -> rule5) triple1) -> rule2))]
("Bob" "is" "red" "+")
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not red.
False
5
inv-proof
[(((((((triple2) -> rule3)) -> rule5) triple1) -> rule2))]
("Bob" "is" "red" "-")
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
True
10
proof
[(((((((triple2) -> rule3)) -> rule5) triple2 ((((((triple2) -> rule3)) -> rule5) triple1) -> rule2)) -> rule1))]
("Bob" "is" "rough" "+")
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple2 ((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is not rough.
False
10
inv-proof
[(((((((triple2) -> rule3)) -> rule5) triple2 ((((((triple2) -> rule3)) -> rule5) triple1) -> rule2)) -> rule1))]
("Bob" "is" "rough" "-")
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple2 ((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
True
12
proof
[(((triple2 ((((((triple2) -> rule3)) -> rule5) triple2 ((((((triple2) -> rule3)) -> rule5) triple1) -> rule2)) -> rule1)) -> rule4))]
("Bob" "is" "big" "+")
((triple2 ((((((triple2) -> (rule3 % int5))) -> (rule5 % int4)) triple2 ((((((triple2) -> (rule3 % int5))) -> (rule5 % int4)) triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is not big.
False
12
inv-proof
[(((triple2 ((((((triple2) -> rule3)) -> rule5) triple2 ((((((triple2) -> rule3)) -> rule5) triple1) -> rule2)) -> rule1)) -> rule4))]
("Bob" "is" "big" "-")
((triple2 ((((((triple2) -> (rule3 % int5))) -> (rule5 % int4)) triple2 ((((((triple2) -> (rule3 % int5))) -> (rule5 % int4)) triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "big" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "red" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "rough" "+")
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "big" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Bob is green.[(triple2)] Bob is young.[(triple1)] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Dave is red.[(triple4)] Dave is rough.[(triple3)] Eric is cold.[(triple9 OR ((triple8) -> rule5))] Eric is kind.[(triple8)] Eric is red.[(triple7)] Fred is kind.[(triple12)] Fred is nice.[(triple11)] Fred is rough.[(triple10)] @1: Bob is kind.[(((triple2) -> rule3))] Dave is cold.[(((triple6) -> rule5))] Fred is cold.[(((triple12) -> rule5))] @2: Bob is cold.[(((((triple2) -> rule3)) -> rule5))] @3: Bob is red.[(((((((triple2) -> rule3)) -> rule5) triple1) -> rule2))] @4: Bob is rough.[(((((((triple2) -> rule3)) -> rule5) triple2 ((((((triple2) -> rule3)) -> rule5) triple1) -> rule2)) -> rule1))] @5: Bob is big.[(((triple2 ((((((triple2) -> rule3)) -> rule5) triple2 ((((((triple2) -> rule3)) -> rule5) triple1) -> rule2)) -> rule1)) -> rule4))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple9
((triple8) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Fred is rough.
("Fred" "is" "rough" "+")
triple10
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple6) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple12) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple2 ((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
((triple2 ((((((triple2) -> (rule3 % int5))) -> (rule5 % int4)) triple2 ((((((triple2) -> (rule3 % int5))) -> (rule5 % int4)) triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Young Bob is wearing green pants.
Dave is a rough kind of Fellow, but described as a nice and kind Person, even though Dave is red.
This Eric guy is red; He is also kind and yet cold.
Fred is nice and kind, but a little rough.
Cold people,though green and red,tend to be rough.
A young and cold person is red.
If you are green you are also kind.
Being green and rough are signs that someone is big.
When you meet kind people they wont have a cold heart.