Bob is big and tends to wear red shirts. Fred is too young to be so big. Some say he is too green to be so blue as well. Gary is young, but very kind to others. Gary is big, with round features. A big person who is green and cold has red skin. Blue people who are rough are often young. A person who is round shaped while also being quite cold tends to be nice. A person who is very round is nice but also quite rough. Young, kind people with a round body shape can be cold to strangers.
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is big and green and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and young and round then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Gary is big.
True
1
proof
[(triple10)]
("Gary" "is" "big" "+")
triple10
Gary is not big.
False
1
inv-proof
[(triple10)]
("Gary" "is" "big" "-")
triple10
Gary is cold.
True
4
proof
[(((triple9 triple7 triple8) -> rule5))]
("Gary" "is" "cold" "+")
((triple9 triple7 triple8) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
4
inv-proof
[(((triple9 triple7 triple8) -> rule5))]
("Gary" "is" "cold" "-")
((triple9 triple7 triple8) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
True
6
proof
[(((triple8 ((triple9 triple7 triple8) -> rule5)) -> rule3))]
("Gary" "is" "nice" "+")
((triple8 ((triple9 triple7 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not nice.
False
6
inv-proof
[(((triple8 ((triple9 triple7 triple8) -> rule5)) -> rule3))]
("Gary" "is" "nice" "-")
((triple8 ((triple9 triple7 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
True
8
proof
[(((triple8 ((triple8 ((triple9 triple7 triple8) -> rule5)) -> rule3)) -> rule4))]
("Gary" "is" "rough" "+")
((triple8 ((triple8 ((triple9 triple7 triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not rough.
False
8
inv-proof
[(((triple8 ((triple8 ((triple9 triple7 triple8) -> rule5)) -> rule3)) -> rule4))]
("Gary" "is" "rough" "-")
((triple8 ((triple8 ((triple9 triple7 triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is big.[(triple2)] Bob is red.[(triple1)] Fred is big.[(triple6)] Fred is blue.[(triple5)] Fred is green.[(triple4)] Fred is young.[(triple3)] Gary is big.[(triple10)] Gary is kind.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Gary is cold.[(((triple9 triple7 triple8) -> rule5))] @2: Gary is nice.[(((triple8 ((triple9 triple7 triple8) -> rule5)) -> rule3))] @3: Gary is rough.[(((triple8 ((triple8 ((triple9 triple7 triple8) -> rule5)) -> rule3)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
((triple9 triple7 triple8) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 ((triple9 triple7 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple8 ((triple8 ((triple9 triple7 triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Bob is big and tends to wear red shirts.
Fred is too young to be so big; Some say he is too green to be so blue as well.
Gary is young, but very kind to others; Gary is big, with round features.
A big person who is green and cold has red skin.
Blue people who are rough are often young.
A person who is round shaped while also being quite cold tends to be nice.
A person who is very round is nice but also quite rough.
Young, kind people with a round body shape can be cold to strangers.