Charlie is blue. Erin is quiet. All big, kind things are round. All blue things are big. If something is young then it is kind. If Charlie is green then Charlie is kind. All green, big things are round. All blue things are round. Green things are young. All kind things are big.
Charlie is blue.
("Charlie" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
All big, kind things are round.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If Charlie is green then Charlie is kind.
((("Charlie" "is" "green" "+")) -> ("Charlie" "is" "kind" "+"))
All green, big things are round.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
All blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
All kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Charlie is blue.
True
1
proof
[(triple1)]
("Charlie" "is" "blue" "+")
triple1
Erin is not quiet.
False
1
inv-proof
[(triple2)]
("Erin" "is" "quiet" "-")
triple2
Charlie is big.
True
2
proof
[(((triple1) -> rule2))]
("Charlie" "is" "big" "+")
((triple1) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple1) -> rule6))]
("Charlie" "is" "round" "-")
((triple1) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Erin is not round.
Unknown
inv-rconc
[@3: Erin is round.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule7 <- FAIL)]]
("Erin" "is" "round" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "young" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is blue.[(triple1)] Erin is quiet.[(triple2)] @1: Charlie is big.[(((triple1) -> rule2))] Charlie is round.[(((triple1) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
((triple1) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple1) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1