Bob is kind. Bob is young. Erin is kind. Erin is round. Erin is smart. Erin is white. Erin is young. Gary is kind. Gary is young. Harry is round. All nice things are rough. Young things are nice. Rough, kind things are smart.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
All nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Rough, kind things are smart.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
Gary is kind.
True
1
proof
[(triple8)]
("Gary" "is" "kind" "+")
triple8
Erin is not young.
False
1
inv-proof
[(triple7)]
("Erin" "is" "young" "-")
triple7
Erin is nice.
True
2
proof
[(((triple7) -> rule2))]
("Erin" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "nice" "-")
((triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Gary is rough.
True
3
proof
[(((((triple9) -> rule2)) -> rule1))]
("Gary" "is" "rough" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Erin is not rough.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule1))]
("Erin" "is" "rough" "-")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Gary is smart.
True
5
proof
[(((((((triple9) -> rule2)) -> rule1) triple8) -> rule3))]
("Gary" "is" "smart" "+")
((((((triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Bob is not smart.
False
5
inv-proof
[(((((((triple2) -> rule2)) -> rule1) triple1) -> rule3))]
("Bob" "is" "smart" "-")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is kind.[(triple1)] Bob is young.[(triple2)] Erin is kind.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5 OR ((((((triple7) -> rule2)) -> rule1) triple3) -> rule3))] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is kind.[(triple8)] Gary is young.[(triple9)] Harry is round.[(triple10)] @1: Bob is nice.[(((triple2) -> rule2))] Erin is nice.[(((triple7) -> rule2))] Gary is nice.[(((triple9) -> rule2))] @2: Bob is rough.[(((((triple2) -> rule2)) -> rule1))] Erin is rough.[(((((triple7) -> rule2)) -> rule1))] Gary is rough.[(((((triple9) -> rule2)) -> rule1))] @3: Bob is smart.[(((((((triple2) -> rule2)) -> rule1) triple1) -> rule3))] Gary is smart.[(((((((triple9) -> rule2)) -> rule1) triple8) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
((((((triple7) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Bob is nice.
("Bob" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
((((((triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3