Bob always goes out of his way to show that he is kind to people. Because Fred gets cold easily he tends to appear round from bundling up. Gary is too young to be so big. Some say he is too green to be so blue as well. Harry is a very kind, green but sometimes cold person. A big person who is red and nice to others is also young. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. If you see someone who is red and green they are round, like Santa Claus. A green person who is kind and a bit blue is young. People that feel green are cold to people that try to help them. A cold and blue appearing person will be young as well. Someone who is cold and big is also a red person.
Bob is kind.
("Bob" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is red and nice and big then they are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and nice and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Gary is young.
True
1
proof
[(triple4 OR ((((triple5) -> rule5) triple6) -> rule6))]
("Gary" "is" "young" "+")
triple4
((((triple5) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not green.
False
1
inv-proof
[(triple5)]
("Gary" "is" "green" "-")
triple5
Gary is cold.
True
2
proof
[(((triple5) -> rule5))]
("Gary" "is" "cold" "+")
((triple5) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple5) -> rule5))]
("Gary" "is" "cold" "-")
((triple5) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
True
4
proof
[(((triple7 ((triple5) -> rule5)) -> rule7))]
("Gary" "is" "red" "+")
((triple7 ((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not red.
False
4
inv-proof
[(((triple7 ((triple5) -> rule5)) -> rule7))]
("Gary" "is" "red" "-")
((triple7 ((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
True
6
proof
[(((((triple7 ((triple5) -> rule5)) -> rule7) triple5) -> rule3))]
("Gary" "is" "round" "+")
((((triple7 ((triple5) -> (rule5 % int3))) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not round.
False
6
inv-proof
[(((((triple7 ((triple5) -> rule5)) -> rule7) triple5) -> rule3))]
("Gary" "is" "round" "-")
((((triple7 ((triple5) -> (rule5 % int3))) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "young" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "red" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is kind.[(triple1)] Fred is cold.[(triple3)] Fred is round.[(triple2)] Gary is big.[(triple7)] Gary is blue.[(triple6)] Gary is green.[(triple5)] Gary is young.[(triple4 OR ((((triple5) -> rule5) triple6) -> rule6))] Harry is cold.[(triple10 OR ((triple9) -> rule5))] Harry is green.[(triple9)] Harry is kind.[(triple8)] @1: Gary is cold.[(((triple5) -> rule5))] @2: Gary is red.[(((triple7 ((triple5) -> rule5)) -> rule7))] @3: Gary is round.[(((((triple7 ((triple5) -> rule5)) -> rule7) triple5) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple3
Fred is round.
("Fred" "is" "round" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
((((triple5) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple10
((triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
((triple5) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple7 ((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple7 ((triple5) -> (rule5 % int3))) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Bob always goes out of his way to show that he is kind to people.
Because Fred gets cold easily he tends to appear round from bundling up.
Gary is too young to be so big; Some say he is too green to be so blue as well.
Harry is a very kind, green but sometimes cold person.
A big person who is red and nice to others is also young.
If you meet a young, round person who is nice on the street, offer them your coat because they are cold.
If you see someone who is red and green they are round, like Santa Claus.
A green person who is kind and a bit blue is young.
People that feel green are cold to people that try to help them.
A cold and blue appearing person will be young as well.
Someone who is cold and big is also a red person.