Bob is a kind and red colored guy. Charlie gets red when he is mad and tends to act very cold. Eric is both big and round, with blue features. Even though young Harry is red from his sunburn, his lips are blue because he is cold. Someone who is both red and blue will also be a nice person. A person with nice, blue traits who is young will surely be a round person. A blue colored, nice but rough person is definitely young too. Blue, red, young people are always going to be kind people, too. Anyone who is round and also cold will surely be big as well. Young people that are big in size, tend to be more on the blue side.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Harry is kind.
True
4
proof
[(((triple11 triple9 triple8) -> rule4))]
("Harry" "is" "kind" "+")
((triple11 triple9 triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple9 triple11) -> rule1))]
("Harry" "is" "nice" "-")
((triple9 triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
True
6
proof
[(((triple11 ((triple9 triple11) -> rule1) triple8) -> rule2))]
("Harry" "is" "round" "+")
((triple11 ((triple9 triple11) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not round.
False
6
inv-proof
[(((triple11 ((triple9 triple11) -> rule1) triple8) -> rule2))]
("Harry" "is" "round" "-")
((triple11 ((triple9 triple11) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
True
8
proof
[(((((triple11 ((triple9 triple11) -> rule1) triple8) -> rule2) triple10) -> rule5))]
("Harry" "is" "big" "+")
((((triple11 ((triple9 triple11) -> (rule1 % int3)) triple8) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not big.
False
8
inv-proof
[(((((triple11 ((triple9 triple11) -> rule1) triple8) -> rule2) triple10) -> rule5))]
("Harry" "is" "big" "-")
((((triple11 ((triple9 triple11) -> (rule1 % int3)) triple8) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Charlie is not nice.
Unknown
inv-rconc
[@3: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule3 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is round.
Unknown
rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "kind" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
@0: Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is cold.[(triple4)] Charlie is red.[(triple3)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is round.[(triple5)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is red.[(triple9)] Harry is young.[(triple8)] @1: Harry is kind.[(((triple11 triple9 triple8) -> rule4))] Harry is nice.[(((triple9 triple11) -> rule1))] @2: Harry is round.[(((triple11 ((triple9 triple11) -> rule1) triple8) -> rule2))] @3: Harry is big.[(((((triple11 ((triple9 triple11) -> rule1) triple8) -> rule2) triple10) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
((triple11 triple9 triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple11 ((triple9 triple11) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple11 ((triple9 triple11) -> (rule1 % int3)) triple8) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Bob is a kind and red colored guy.
Charlie gets red when he is mad and tends to act very cold.
Eric is both big and round, with blue features.
Even though young Harry is red from his sunburn, his lips are blue because he is cold.
Someone who is both red and blue will also be a nice person.
A person with nice, blue traits who is young will surely be a round person.
A blue colored, nice but rough person is definitely young too.
Blue, red, young people are always going to be kind people, too.
Anyone who is round and also cold will surely be big as well.
Young people that are big in size, tend to be more on the blue side.