Erin is young. Gary is round. If Erin is young then Erin is white. All big, nice people are young. Round people are green. All round people are green. All round, big people are nice. If someone is green then they are white.
Erin is young.
("Erin" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
If Erin is young then Erin is white.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "white" "+"))
All big, nice people are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
All round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
All round, big people are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Gary is round.
True
1
proof
[(triple2)]
("Gary" "is" "round" "+")
triple2
Gary is not round.
False
1
inv-proof
[(triple2)]
("Gary" "is" "round" "-")
triple2
Gary is green.
True
2
proof
[(((triple2) -> rule3) OR ((triple2) -> rule4))]
("Gary" "is" "green" "+")
((triple2) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple2) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple2) -> rule3) OR ((triple2) -> rule4))]
("Gary" "is" "green" "-")
((triple2) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple2) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
True
3
proof
[(((((triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule4)) -> rule6))]
("Gary" "is" "white" "+")
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not white.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule4)) -> rule6))]
("Gary" "is" "white" "-")
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is green.
Unknown
rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "green" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "nice" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is young.[(triple1)] Gary is round.[(triple2)] @1: Erin is white.[(((triple1) -> rule1))] Gary is green.[(((triple2) -> rule3) OR ((triple2) -> rule4))] @2: Gary is white.[(((((triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule4)) -> rule6))]
Erin is young.
("Erin" "is" "young" "+")
triple1
Gary is round.
("Gary" "is" "round" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
((triple1) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple2) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple2) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2