Bob was born only a few years ago so he is young. Fred is big and rough, but he is also green, and is nice and kind when you want him to be. Gary was born only a few years ago so he is young. Harry looks red to most people, with blue features. A nice and kind person who is big sized will be cold. A person with rough skin who has been standing in the cold will turn red. Young and rough green people, have no choice but to be red. Someone who is colored both in red and green, while being kind to others, is a round person. Round, young folks tend to feel blue.
Bob is young.
("Bob" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is nice and kind and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Harry is blue.
True
1
proof
[(triple9)]
("Harry" "is" "blue" "+")
triple9
Fred is not green.
False
1
inv-proof
[(triple5)]
("Fred" "is" "green" "-")
triple5
Fred is cold.
True
4
proof
[(((triple3 triple4 triple6) -> rule1))]
("Fred" "is" "cold" "+")
((triple3 triple4 triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
4
inv-proof
[(((triple3 triple4 triple6) -> rule1))]
("Fred" "is" "cold" "-")
((triple3 triple4 triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
True
6
proof
[(((((triple3 triple4 triple6) -> rule1) triple2) -> rule2))]
("Fred" "is" "red" "+")
((((triple3 triple4 triple6) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not red.
False
6
inv-proof
[(((((triple3 triple4 triple6) -> rule1) triple2) -> rule2))]
("Fred" "is" "red" "-")
((((triple3 triple4 triple6) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
True
9
proof
[(((((((triple3 triple4 triple6) -> rule1) triple2) -> rule2) triple5 triple4) -> rule4))]
("Fred" "is" "round" "+")
((((((triple3 triple4 triple6) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple5 triple4) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not round.
False
9
inv-proof
[(((((((triple3 triple4 triple6) -> rule1) triple2) -> rule2) triple5 triple4) -> rule4))]
("Fred" "is" "round" "-")
((((((triple3 triple4 triple6) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple5 triple4) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Gary" "is" "blue" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is young.[(triple1)] Fred is big.[(triple6)] Fred is green.[(triple5)] Fred is kind.[(triple4)] Fred is nice.[(triple3)] Fred is rough.[(triple2)] Gary is young.[(triple7)] Harry is blue.[(triple9)] Harry is red.[(triple8)] @1: Fred is cold.[(((triple3 triple4 triple6) -> rule1))] @2: Fred is red.[(((((triple3 triple4 triple6) -> rule1) triple2) -> rule2))] @3: Fred is round.[(((((((triple3 triple4 triple6) -> rule1) triple2) -> rule2) triple5 triple4) -> rule4))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Fred is nice.
("Fred" "is" "nice" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
((triple3 triple4 triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple3 triple4 triple6) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((((triple3 triple4 triple6) -> (rule1 % int3)) triple2) -> (rule2 % int2)) triple5 triple4) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Bob was born only a few years ago so he is young.
Fred is big and rough, but he is also green, and is nice and kind when you want him to be.
Gary was born only a few years ago so he is young.
Harry looks red to most people, with blue features.
A nice and kind person who is big sized will be cold.
A person with rough skin who has been standing in the cold will turn red.
Young and rough green people, have no choice but to be red.
Someone who is colored both in red and green, while being kind to others, is a round person.
Round, young folks tend to feel blue.