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