Bob is big. Bob is rough. Bob is round. Bob is smart. Charlie is nice. Charlie is rough. Charlie is round. Erin is nice. Erin is red. Erin is round. Erin is smart. Erin is young. Nice, young people are big. If Bob is red then Bob is round.
Bob is big.
("Bob" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Nice, young people are big.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If Bob is red then Bob is round.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "round" "+"))
Erin is nice.
True
1
proof
[(triple8)]
("Erin" "is" "nice" "+")
triple8
Bob is not smart.
False
1
inv-proof
[(triple4)]
("Bob" "is" "smart" "-")
triple4
Erin is big.
True
3
proof
[(((triple8 triple12) -> rule1))]
("Erin" "is" "big" "+")
((triple8 triple12) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
3
inv-proof
[(((triple8 triple12) -> rule1))]
("Erin" "is" "big" "-")
((triple8 triple12) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Charlie is nice.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Erin is nice.[(triple8)] Erin is red.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)] @1: Erin is big.[(((triple8 triple12) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Erin is big.
("Erin" "is" "big" "+")
((triple8 triple12) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1