Bob is a nice, kind young man that is feeling rather blue -- he is also green. In the snow sits Charlie, crying from being cold. Dave, like all young people, is nice. Eric is somewhat red,he is also very nice and kind, he is very big though. A round person who is nice and feelin cold is usually rough in apperance. A nice, big person that is red is usually young. All the big and young boys at the park are red. It's inevitable that young, green people are big. Someone who is colored both in red and green, while being kind to others, is a round person.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and red and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Bob is not blue.
False
1
inv-proof
[(triple5)]
("Bob" "is" "blue" "-")
triple5
Eric is young.
True
4
proof
[(((triple10 triple9 triple12) -> rule2))]
("Eric" "is" "young" "+")
((triple10 triple9 triple12) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple1 triple4) -> rule4))]
("Bob" "is" "big" "-")
((triple1 triple4) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
True
5
proof
[(((((triple1 triple4) -> rule4) triple1) -> rule3))]
("Bob" "is" "red" "+")
((((triple1 triple4) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not red.
False
5
inv-proof
[(((((triple1 triple4) -> rule4) triple1) -> rule3))]
("Bob" "is" "red" "-")
((((triple1 triple4) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
True
8
proof
[(((((((triple1 triple4) -> rule4) triple1) -> rule3) triple4 triple3) -> rule5))]
("Bob" "is" "round" "+")
((((((triple1 triple4) -> (rule4 % int3)) triple1) -> (rule3 % int2)) triple4 triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not round.
False
8
inv-proof
[(((((((triple1 triple4) -> rule4) triple1) -> rule3) triple4 triple3) -> rule5))]
("Bob" "is" "round" "-")
((((((triple1 triple4) -> (rule4 % int3)) triple1) -> (rule3 % int2)) triple4 triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "big" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple6)] Dave is nice.[(triple8)] Dave is young.[(triple7)] Eric is big.[(triple12)] Eric is kind.[(triple11)] Eric is nice.[(triple10)] Eric is red.[(triple9)] @1: Bob is big.[(((triple1 triple4) -> rule4))] Eric is young.[(((triple10 triple9 triple12) -> rule2))] @2: Bob is red.[(((((triple1 triple4) -> rule4) triple1) -> rule3))] @3: Bob is round.[(((((((triple1 triple4) -> rule4) triple1) -> rule3) triple4 triple3) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
triple12
Eric is kind.
("Eric" "is" "kind" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple4) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple10 triple9 triple12) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((((triple1 triple4) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((((triple1 triple4) -> (rule4 % int3)) triple1) -> (rule3 % int2)) triple4 triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is a nice, kind young man that is feeling rather blue -- he is also green.
In the snow sits Charlie, crying from being cold.
Dave, like all young people, is nice.
Eric is somewhat red,he is also very nice and kind, he is very big though.
A round person who is nice and feelin cold is usually rough in apperance.
A nice, big person that is red is usually young.
All the big and young boys at the park are red.
It's inevitable that young, green people are big.
Someone who is colored both in red and green, while being kind to others, is a round person.