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