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