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