Charlie is furry. Charlie is quiet. Erin is cold. Fiona is furry. Fiona is green. Gary is furry. Gary is young. If someone is blue then they are young. If Charlie is furry and Charlie is green then Charlie is smart. Smart people are young. If Charlie is blue then Charlie is furry. If someone is blue then they are green. Young, quiet people are green. Quiet, blue people are green. If someone is cold then they are blue.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is blue then they are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If Charlie is furry and Charlie is green then Charlie is smart.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "smart" "+"))
Smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If Charlie is blue then Charlie is furry.
((("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "furry" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Young, quiet people are green.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Quiet, blue people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Gary is young.
True
1
proof
[(triple7)]
("Gary" "is" "young" "+")
triple7
Gary is not furry.
False
1
inv-proof
[(triple6)]
("Gary" "is" "furry" "-")
triple6
Erin is blue.
True
2
proof
[(((triple3) -> rule8))]
("Erin" "is" "blue" "+")
((triple3) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple3) -> rule8))]
("Erin" "is" "blue" "-")
((triple3) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
True
3
proof
[(((((triple3) -> rule8)) -> rule5))]
("Erin" "is" "green" "+")
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not young.
False
3
inv-proof
[(((((triple3) -> rule8)) -> rule1))]
("Erin" "is" "young" "-")
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Charlie is not smart.
Unknown
inv-rconc
[@4: Charlie is smart.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule1 <- rule8 <- FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is young.
Unknown
rconc
[@5: Charlie is young.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule6 <- rule1 <- rule8 <- FAIL)]]
("Charlie" "is" "young" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "blue" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Erin is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5)] Gary is furry.[(triple6)] Gary is young.[(triple7)] @1: Erin is blue.[(((triple3) -> rule8))] @2: Erin is green.[(((((triple3) -> rule8)) -> rule5))] Erin is young.[(((((triple3) -> rule8)) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
((triple3) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2