Bob is big. Bob is kind. Bob is nice. Bob is round. Bob is young. Dave is big. Dave is blue. Dave is kind. Dave is nice. Dave is quiet. Fiona is blue. Fiona is kind. Fiona is young. Gary is blue. Gary is nice. Gary is round. If someone is young then they are quiet. Quiet people are blue.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is young then they are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
Dave is big.
True
1
proof
[(triple6)]
("Dave" "is" "big" "+")
triple6
Dave is not blue.
False
1
inv-proof
[(triple7 OR ((triple10) -> rule2))]
("Dave" "is" "blue" "-")
triple7
((triple10) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Fiona is quiet.
True
2
proof
[(((triple13) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple13) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple5) -> rule1))]
("Bob" "is" "quiet" "-")
((triple5) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is blue.
True
3
proof
[(((((triple5) -> rule1)) -> rule2))]
("Bob" "is" "blue" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is not blue.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule2))]
("Bob" "is" "blue" "-")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "quiet" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7 OR ((triple10) -> rule2))] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is quiet.[(triple10)] Fiona is blue.[(triple11 OR ((((triple13) -> rule1)) -> rule2))] Fiona is kind.[(triple12)] Fiona is young.[(triple13)] Gary is blue.[(triple14)] Gary is nice.[(triple15)] Gary is round.[(triple16)] @1: Bob is quiet.[(((triple5) -> rule1))] Fiona is quiet.[(((triple13) -> rule1))] @2: Bob is blue.[(((((triple5) -> rule1)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
((triple10) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
((((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is young.
("Fiona" "is" "young" "+")
triple13
Gary is blue.
("Gary" "is" "blue" "+")
triple14
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
triple16
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple13) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2