Bob is quiet. Dave is white. Erin is rough. White, young people are blue. All white people are rough. Rough people are smart. Quiet people are white. If someone is smart and young then they are blue. Young people are white. Quiet people are big. All quiet, blue people are rough.
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is rough.
("Erin" "is" "rough" "+")
White, young people are blue.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
All white people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is smart and young then they are blue.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Young people are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All quiet, blue people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Dave is white.
True
1
proof
[(triple2)]
("Dave" "is" "white" "+")
triple2
Erin is not rough.
False
1
inv-proof
[(triple3)]
("Erin" "is" "rough" "-")
triple3
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is quiet.[(triple1)] Dave is white.[(triple2)] Erin is rough.[(triple3)] @1: Bob is big.[(((triple1) -> rule7))] Bob is white.[(((triple1) -> rule4))] Dave is rough.[(((triple2) -> rule2))] Erin is smart.[(((triple3) -> rule3))] @2: Bob is rough.[(((((triple1) -> rule4)) -> rule2))] Dave is smart.[(((((triple2) -> rule2)) -> rule3))] @3: Bob is smart.[(((((((triple1) -> rule4)) -> rule2)) -> rule3))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
((triple1) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple3) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3