Anne is big. Anne is rough. Anne is young. Bob is green. Bob is smart. Bob is young. Charlie is big. Charlie is not furry. Charlie is green. Charlie is young. Fiona is green. Fiona is quiet. All quiet people are furry. Smart, quiet people are rough. Smart people are green. Young people are green. If Bob is furry then Bob is green. If Bob is furry and Bob is green then Bob is big. Young, quiet people are big. If someone is green and not rough then they are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
All quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Smart, quiet people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
Smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Bob is furry then Bob is green.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "green" "+"))
If Bob is furry and Bob is green then Bob is big.
((("Bob" "is" "furry" "+") ("Bob" "is" "green" "+")) -> ("Bob" "is" "big" "+"))
Young, quiet people are big.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
If someone is green and not rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "big" "+"))
Charlie is big.
True
1
proof
[(triple7)]
("Charlie" "is" "big" "+")
triple7
Charlie is not big.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "big" "-")
triple7
Fiona is furry.
True
2
proof
[(((triple12) -> rule1))]
("Fiona" "is" "furry" "+")
((triple12) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple3) -> rule4))]
("Anne" "is" "green" "-")
((triple3) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "furry" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Bob is green.[(triple4 OR ((triple5) -> rule3) OR ((triple6) -> rule4))] Bob is smart.[(triple5)] Bob is young.[(triple6)] Charlie is big.[(triple7)] Charlie is green.[(triple9 OR ((triple10) -> rule4))] Charlie is not furry.[(triple8)] Charlie is young.[(triple10)] Fiona is green.[(triple11)] Fiona is quiet.[(triple12)] @1: Anne is green.[(((triple3) -> rule4))] Fiona is furry.[(((triple12) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
((triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple6) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple9
((triple10) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Anne is green.
("Anne" "is" "green" "+")
((triple3) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple12) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1