Bob is cold. Bob is green. Bob is round. Fiona is cold. Fiona is green. Fiona is red. Fiona is round. All round, red people are not big. If Bob is not young then Bob is red. Round, young people are smart. If someone is green and not round then they are red. If Fiona is big then Fiona is young. If someone is smart and not young then they are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All round, red people are not big.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "-"))
If Bob is not young then Bob is red.
((("Bob" "is" "young" "~")) -> ("Bob" "is" "red" "+"))
Round, young people are smart.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If someone is green and not round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "red" "+"))
If Fiona is big then Fiona is young.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "young" "+"))
If someone is smart and not young then they are cold.
((("someone" "is" "smart" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "cold" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Fiona is not cold.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "cold" "-")
triple4
Fiona is not big.
True
3
proof
[(((triple7 triple6) -> rule1))]
("Fiona" "is" "big" "-")
((triple7 triple6) -> (rule1 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is big.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("Fiona" "is" "big" "+")
((triple7 triple6) -> (rule1 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3)] Fiona is cold.[(triple4)] Fiona is green.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is not big.[(((triple7 triple6) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is not big.
("Fiona" "is" "big" "-")
((triple7 triple6) -> (rule1 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1