Bob is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. Eric wears all blue. Red Fred is what folks call him, because he is quite red. Harry is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. You will probably see that red, round people are nice, as well as green. Rough people are often round. A quite nice person who is red and green is also big. Young, kind people have the trait of being cold and are also very nice to interact with.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("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 cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Bob is green.
True
1
proof
[(triple3)]
("Bob" "is" "green" "+")
triple3
Harry is not rough.
False
1
inv-proof
[(triple7)]
("Harry" "is" "rough" "-")
triple7
Harry is round.
True
2
proof
[(((triple7) -> rule2))]
("Harry" "is" "round" "+")
((triple7) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple7) -> rule2))]
("Harry" "is" "round" "-")
((triple7) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
True
5
proof
[(((((triple7) -> rule2) triple8 triple9) -> rule1))]
("Harry" "is" "green" "+")
((((triple7) -> (rule2 % int2)) triple8 triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not green.
False
5
inv-proof
[(((((triple7) -> rule2) triple8 triple9) -> rule1))]
("Harry" "is" "green" "-")
((((triple7) -> (rule2 % int2)) triple8 triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
True
8
proof
[(((triple8 ((((triple7) -> rule2) triple8 triple9) -> rule1) triple9) -> rule3))]
("Harry" "is" "big" "+")
((triple8 ((((triple7) -> (rule2 % int3)) triple8 triple9) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not big.
False
8
inv-proof
[(((triple8 ((((triple7) -> rule2) triple8 triple9) -> rule1) triple9) -> rule3))]
("Harry" "is" "big" "-")
((triple8 ((((triple7) -> (rule2 % int3)) triple8 triple9) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "big" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Bob" "is" "big" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "green" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
@0: Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Eric is blue.[(triple5)] Fred is red.[(triple6)] Harry is cold.[(triple10)] Harry is nice.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] @1: Harry is round.[(((triple7) -> rule2))] @2: Harry is green.[(((((triple7) -> rule2) triple8 triple9) -> rule1))] @3: Harry is big.[(((triple8 ((((triple7) -> rule2) triple8 triple9) -> rule1) triple9) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
((triple7) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple7) -> (rule2 % int2)) triple8 triple9) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple8 ((((triple7) -> (rule2 % int3)) triple8 triple9) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Bob is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket.
Eric wears all blue.
Red Fred is what folks call him, because he is quite red.
Harry is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
You will probably see that red, round people are nice, as well as green.
Rough people are often round.
A quite nice person who is red and green is also big.
Young, kind people have the trait of being cold and are also very nice to interact with.