Erin is big. Fiona is young. Smart, blue people are green. If Fiona is smart and Fiona is blue then Fiona is big. If someone is young then they are smart. Smart people are green. If someone is blue and nice then they are smart. All red people are young. If someone is young then they are green. If someone is green and young then they are big.
Erin is big.
("Erin" "is" "big" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Smart, blue people are green.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If Fiona is smart and Fiona is blue then Fiona is big.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "big" "+"))
If someone is young then they are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and nice then they are smart.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
All red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green and young then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Fiona is young.
True
1
proof
[(triple2)]
("Fiona" "is" "young" "+")
triple2
Erin is not big.
False
1
inv-proof
[(triple1)]
("Erin" "is" "big" "-")
triple1
Fiona is smart.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "smart" "-")
((triple2) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
True
4
proof
[(((((triple2) -> rule7) triple2) -> rule8) OR ((((((triple2) -> rule3)) -> rule4) triple2) -> rule8))]
("Fiona" "is" "big" "+")
((((triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule4 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not big.
False
4
inv-proof
[(((((triple2) -> rule7) triple2) -> rule8) OR ((((((triple2) -> rule3)) -> rule4) triple2) -> rule8))]
("Fiona" "is" "big" "-")
((((triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule4 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is green.
Unknown
rconc
[@3: Erin is green.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule6 <- FAIL)]]
("Erin" "is" "green" "+")
Erin is not smart.
Unknown
inv-rconc
[@2: Erin is smart.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Erin is big.[(triple1)] Fiona is young.[(triple2)] @1: Fiona is green.[(((triple2) -> rule7) OR ((((triple2) -> rule3)) -> rule4))] Fiona is smart.[(((triple2) -> rule3))] @2: Fiona is big.[(((((triple2) -> rule7) triple2) -> rule8) OR ((((((triple2) -> rule3)) -> rule4) triple2) -> rule8))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
((triple2) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((((triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule4 % int2)) triple2) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3