Bob a big man for his young age. he has red hair and can be rough. You should meet Dave, he is big and rough on the football field but also very young in age. Eric gets red when he is mad and tends to act very cold. Gary, like all young people, is nice. A red colored and round person who is also young will be rather kind. Big and green people who feel cold are usually young in age. Someone who is not kind, will see red and be cold, which leads them to always feel blue. If you meet a kind green person with a round shape they will also be young. A person that is the color red will definitely be round shaped. Kind young people are also red and green.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is red and young and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Gary is young.
True
1
proof
[(triple10)]
("Gary" "is" "young" "+")
triple10
Eric is not red.
False
1
inv-proof
[(triple8)]
("Eric" "is" "red" "-")
triple8
Eric is round.
True
2
proof
[(((triple8) -> rule5))]
("Eric" "is" "round" "+")
((triple8) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
2
inv-proof
[(((triple8) -> rule5))]
("Eric" "is" "round" "-")
((triple8) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Bob is kind.
True
5
proof
[(((triple3 ((triple3) -> rule5) triple1) -> rule1))]
("Bob" "is" "kind" "+")
((triple3 ((triple3) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((triple3 ((triple3) -> rule5) triple1) -> rule1))]
("Bob" "is" "kind" "-")
((triple3 ((triple3) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
True
8
proof
[(((triple3 triple1 ((triple3 ((triple3) -> rule5) triple1) -> rule1)) -> rule6))]
("Bob" "is" "green" "+")
((triple3 triple1 ((triple3 ((triple3) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not green.
False
8
inv-proof
[(((triple3 triple1 ((triple3 ((triple3) -> rule5) triple1) -> rule1)) -> rule6))]
("Bob" "is" "green" "-")
((triple3 triple1 ((triple3 ((triple3) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "blue" "-")
Eric is kind.
Unknown
rconc
[@2: Eric is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Eric" "is" "kind" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Eric is young.
Unknown
rconc
[@3: Eric is young.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule2 <- FAIL)]]
("Eric" "is" "young" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
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 big.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple7)] Dave is rough.[(triple6)] Dave is young.[(triple5)] Eric is cold.[(triple9)] Eric is red.[(triple8)] Gary is nice.[(triple11)] Gary is young.[(triple10)] @1: Bob is round.[(((triple3) -> rule5))] Eric is round.[(((triple8) -> rule5))] @2: Bob is kind.[(((triple3 ((triple3) -> rule5) triple1) -> rule1))] @3: Bob is green.[(((triple3 triple1 ((triple3 ((triple3) -> rule5) triple1) -> rule1)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Bob is round.
("Bob" "is" "round" "+")
((triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple8) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 ((triple3) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple3 triple1 ((triple3 ((triple3) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob a big man for his young age; he has red hair and can be rough.
You should meet Dave, he is big and rough on the football field but also very young in age.
Eric gets red when he is mad and tends to act very cold.
Gary, like all young people, is nice.
A red colored and round person who is also young will be rather kind.
Big and green people who feel cold are usually young in age.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
If you meet a kind green person with a round shape they will also be young.
A person that is the color red will definitely be round shaped.
Kind young people are also red and green.