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