Because Bob gets cold easily he tends to appear round from bundling up. Charlie is young but big for his age. Charlie wasn't feeling well so he is a little green. Big, cold Eric is a nice young guy who's a bit green about things. Harry was born only a few years ago so he is young. If a red person is cold and kind to others, they also tend to be blue. A cold and young aged person will be big for sure. Red, kind, young people will be rough people, too. Nice and kind people tend to live green lifestyle and arent very rough. A young and cold person is red. Young and kind folks are always big. People who are cold and and red are also young and kind.
Bob is round.
("Bob" "is" "round" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Charlie is young.
True
1
proof
[(triple3)]
("Charlie" "is" "young" "+")
triple3
Harry is not young.
False
1
inv-proof
[(triple11)]
("Harry" "is" "young" "-")
triple11
Eric is red.
True
3
proof
[(((triple9 triple6) -> rule5))]
("Eric" "is" "red" "+")
((triple9 triple6) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
3
inv-proof
[(((triple9 triple6) -> rule5))]
("Eric" "is" "red" "-")
((triple9 triple6) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
True
6
proof
[(((((triple9 triple6) -> rule5) triple6 triple9) -> rule7))]
("Eric" "is" "kind" "+")
((((triple9 triple6) -> (rule5 % int2)) triple6 triple9) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not kind.
False
6
inv-proof
[(((((triple9 triple6) -> rule5) triple6 triple9) -> rule7))]
("Eric" "is" "kind" "-")
((((triple9 triple6) -> (rule5 % int2)) triple6 triple9) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is blue.
True
11
proof
[(((triple9 ((((triple9 triple6) -> rule5) triple6 triple9) -> rule7) ((triple9 triple6) -> rule5)) -> rule1))]
("Eric" "is" "blue" "+")
((triple9 ((((triple9 triple6) -> (rule5 % int3)) triple6 triple9) -> (rule7 % int2)) ((triple9 triple6) -> (rule5 % int3))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not rough.
False
9
inv-proof
[(((triple7 ((((triple9 triple6) -> rule5) triple6 triple9) -> rule7) triple8) -> rule4) OR ((triple6 ((((triple9 triple6) -> rule5) triple6 triple9) -> rule7) ((triple9 triple6) -> rule5)) -> rule3))]
("Eric" "is" "rough" "-")
((triple7 ((((triple9 triple6) -> (rule5 % int3)) triple6 triple9) -> (rule7 % int2)) triple8) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
((triple6 ((((triple9 triple6) -> (rule5 % int3)) triple6 triple9) -> (rule7 % int2)) ((triple9 triple6) -> (rule5 % int3))) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Harry" "is" "big" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "red" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Bob is cold.[(triple2)] Bob is round.[(triple1)] Charlie is big.[(triple5)] Charlie is green.[(triple4)] Charlie is young.[(triple3)] Eric is big.[(triple10 OR ((triple6 triple9) -> rule2) OR ((((((triple9 triple6) -> rule5) triple6 triple9) -> rule7) triple6) -> rule6))] Eric is cold.[(triple9)] Eric is green.[(triple8)] Eric is nice.[(triple7)] Eric is young.[(triple6)] Harry is young.[(triple11)] @1: Eric is red.[(((triple9 triple6) -> rule5))] @2: Eric is kind.[(((((triple9 triple6) -> rule5) triple6 triple9) -> rule7))] @3: Eric is blue.[(((triple9 ((((triple9 triple6) -> rule5) triple6 triple9) -> rule7) ((triple9 triple6) -> rule5)) -> rule1))] Eric is rough.[(((triple7 ((((triple9 triple6) -> rule5) triple6 triple9) -> rule7) triple8) -> rule4) OR ((triple6 ((((triple9 triple6) -> rule5) triple6 triple9) -> rule7) ((triple9 triple6) -> rule5)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple10
((triple6 triple9) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
((((((triple9 triple6) -> (rule5 % int3)) triple6 triple9) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple11
Eric is red.
("Eric" "is" "red" "+")
((triple9 triple6) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple9 triple6) -> (rule5 % int2)) triple6 triple9) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple9 ((((triple9 triple6) -> (rule5 % int3)) triple6 triple9) -> (rule7 % int2)) ((triple9 triple6) -> (rule5 % int3))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 ((((triple9 triple6) -> (rule5 % int3)) triple6 triple9) -> (rule7 % int2)) triple8) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
((triple6 ((((triple9 triple6) -> (rule5 % int3)) triple6 triple9) -> (rule7 % int2)) ((triple9 triple6) -> (rule5 % int3))) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Because Bob gets cold easily he tends to appear round from bundling up.
Charlie is young but big for his age; Charlie wasn't feeling well so he is a little green.
Big, cold Eric is a nice young guy who's a bit green about things.
Harry was born only a few years ago so he is young.
If a red person is cold and kind to others, they also tend to be blue.
A cold and young aged person will be big for sure.
Red, kind, young people will be rough people, too.
Nice and kind people tend to live green lifestyle and arent very rough.
A young and cold person is red.
Young and kind folks are always big.
People who are cold and and red are also young and kind.