Young Alan is quite nice, and because he is so round can be considered quite big. In the snow sits Bob, crying from being cold. Even though he's a big dude, Charlie is cold. Young and rough people tend to be green too. Nice people who are big are always cold because they can't find space near the heater. A young, green person who is cold is rough around the edges. Young people who are nice and cold, are rather green.
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Charlie is big.
True
1
proof
[(triple7)]
("Charlie" "is" "big" "+")
triple7
Bob is not cold.
False
1
inv-proof
[(triple5)]
("Bob" "is" "cold" "-")
triple5
Alan is cold.
True
3
proof
[(((triple4 triple3) -> rule2))]
("Alan" "is" "cold" "+")
((triple4 triple3) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
3
inv-proof
[(((triple4 triple3) -> rule2))]
("Alan" "is" "cold" "-")
((triple4 triple3) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
True
6
proof
[(((triple3 triple1 ((triple4 triple3) -> rule2)) -> rule4))]
("Alan" "is" "green" "+")
((triple3 triple1 ((triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not green.
False
6
inv-proof
[(((triple3 triple1 ((triple4 triple3) -> rule2)) -> rule4))]
("Alan" "is" "green" "-")
((triple3 triple1 ((triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
True
11
proof
[(((((triple4 triple3) -> rule2) ((triple3 triple1 ((triple4 triple3) -> rule2)) -> rule4) triple1) -> rule3))]
("Alan" "is" "rough" "+")
((((triple4 triple3) -> (rule2 % int3)) ((triple3 triple1 ((triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not rough.
False
11
inv-proof
[(((((triple4 triple3) -> rule2) ((triple3 triple1 ((triple4 triple3) -> rule2)) -> rule4) triple1) -> rule3))]
("Alan" "is" "rough" "-")
((((triple4 triple3) -> (rule2 % int3)) ((triple3 triple1 ((triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "green" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Alan is big.[(triple4)] Alan is nice.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is cold.[(triple5)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] @1: Alan is cold.[(((triple4 triple3) -> rule2))] @2: Alan is green.[(((triple3 triple1 ((triple4 triple3) -> rule2)) -> rule4))] @3: Alan is rough.[(((((triple4 triple3) -> rule2) ((triple3 triple1 ((triple4 triple3) -> rule2)) -> rule4) triple1) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
((triple4 triple3) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple3 triple1 ((triple4 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((triple4 triple3) -> (rule2 % int3)) ((triple3 triple1 ((triple4 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Young Alan is quite nice, and because he is so round can be considered quite big.
In the snow sits Bob, crying from being cold.
Even though he's a big dude, Charlie is cold.
Young and rough people tend to be green too.
Nice people who are big are always cold because they can't find space near the heater.
A young, green person who is cold is rough around the edges.
Young people who are nice and cold, are rather green.