Bob is kind. Fiona is kind. Gary is young. If someone is round then they are big. All smart people are round. If Bob is big then Bob is kind. If someone is green and round then they are kind. Green, cold people are smart. If Bob is young then Bob is round. Green people are big. All kind people are round.
Bob is kind.
("Bob" "is" "kind" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is round then they are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If Bob is big then Bob is kind.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "kind" "+"))
If someone is green and round then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Green, cold people are smart.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If Bob is young then Bob is round.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "round" "+"))
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Bob is round.
True
2
proof
[(((triple1) -> rule8))]
("Bob" "is" "round" "+")
((triple1) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple1) -> rule8))]
("Bob" "is" "round" "-")
((triple1) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
True
3
proof
[(((((triple1) -> rule8)) -> rule1))]
("Bob" "is" "big" "+")
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not big.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule1))]
("Bob" "is" "big" "-")
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Gary is not big.
Unknown
inv-rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule5 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "smart" "+")
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "smart" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Bob is kind.[(triple1)] Fiona is kind.[(triple2)] Gary is young.[(triple3)] @1: Bob is round.[(((triple1) -> rule8))] Fiona is round.[(((triple2) -> rule8))] @2: Bob is big.[(((((triple1) -> rule8)) -> rule1))] Fiona is big.[(((((triple2) -> rule8)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2