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