Erin is rough. Fiona is red. Fiona is young. All smart, red people are not big. If someone is young then they are smart. All rough people are round. Rough people are round. Big, kind people are round. If someone is round and not big then they are kind.
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All smart, red people are not big.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "-"))
If someone is young then they are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Big, kind people are round.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and not big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "kind" "+"))
Fiona is young.
True
1
proof
[(triple3)]
("Fiona" "is" "young" "+")
triple3
Fiona is not red.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "red" "-")
triple2
Fiona is smart.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "smart" "-")
((triple3) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not big.
True
4
proof
[(((((triple3) -> rule2) triple2) -> rule1))]
("Fiona" "is" "big" "-")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
False
4
inv-proof
[(((((triple3) -> rule2) triple2) -> rule1))]
("Fiona" "is" "big" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "round" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "kind" "+")
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is rough.[(triple1)] Fiona is red.[(triple2)] Fiona is young.[(triple3)] @1: Erin is round.[(((triple1) -> rule3) OR ((triple1) -> rule4))] Fiona is smart.[(((triple3) -> rule2))] @2: Fiona is not big.[(((((triple3) -> rule2) triple2) -> rule1))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
((triple1) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple1) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2