Bob is young. Charlie is big. Charlie is nice. Charlie is white. Charlie is young. Erin is kind. Erin is young. If someone is big then they are rough. If someone is big then they are kind. If someone is kind and nice then they are rough.
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big then they are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Erin is young.
True
1
proof
[(triple7)]
("Erin" "is" "young" "+")
triple7
Charlie is not white.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "white" "-")
triple4
Charlie is rough.
True
2
proof
[(((triple2) -> rule1) OR ((((triple2) -> rule2) triple3) -> rule3))]
("Charlie" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not rough.
False
2
inv-proof
[(((triple2) -> rule1) OR ((((triple2) -> rule2) triple3) -> rule3))]
("Charlie" "is" "rough" "-")
((triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is young.[(triple1)] Charlie is big.[(triple2)] Charlie is nice.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Erin is kind.[(triple6)] Erin is young.[(triple7)] @1: Charlie is kind.[(((triple2) -> rule2))] Charlie is rough.[(((triple2) -> rule1) OR ((((triple2) -> rule2) triple3) -> rule3))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2