Erin is furry. Erin is nice. Erin is round. Erin is young. Fiona is green. Fiona is nice. Fiona is young. All green people are furry. All smart, nice people are red. If Fiona is round then Fiona is nice. All smart people are young. If Fiona is furry then Fiona is smart. If someone is green and red then they are round.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
All smart, nice people are red.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If Fiona is round then Fiona is nice.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "nice" "+"))
All smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If Fiona is furry then Fiona is smart.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "smart" "+"))
If someone is green and red then they are round.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Erin is nice.
True
1
proof
[(triple2)]
("Erin" "is" "nice" "+")
triple2
Erin is not nice.
False
1
inv-proof
[(triple2)]
("Erin" "is" "nice" "-")
triple2
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is furry.[(triple1)] Erin is nice.[(triple2)] Erin is round.[(triple3)] Erin is young.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6)] Fiona is young.[(triple7 OR ((((((triple5) -> rule1)) -> rule5)) -> rule4))] @1: Fiona is furry.[(((triple5) -> rule1))] @2: Fiona is smart.[(((((triple5) -> rule1)) -> rule5))] @3: Fiona is red.[(((((((triple5) -> rule1)) -> rule5) triple6) -> rule2))] @4: Fiona is round.[(((triple5 ((((((triple5) -> rule1)) -> rule5) triple6) -> rule2)) -> rule6))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((triple5 ((((((triple5) -> (rule1 % int4))) -> (rule5 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4