Erin is rough. Erin is round. Fiona is cold. Fiona is green. Harry is cold. Harry is green. Harry is smart. Smart people are quiet. If someone is green then they are big. If someone is big and cold then they are round.
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Smart people are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Harry is smart.
True
1
proof
[(triple7)]
("Harry" "is" "smart" "+")
triple7
Harry is not smart.
False
1
inv-proof
[(triple7)]
("Harry" "is" "smart" "-")
triple7
Fiona is big.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "big" "+")
((triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple6) -> rule2))]
("Harry" "is" "big" "-")
((triple6) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Fiona is round.
True
4
proof
[(((((triple4) -> rule2) triple3) -> rule3))]
("Fiona" "is" "round" "+")
((((triple4) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is not round.
False
4
inv-proof
[(((((triple6) -> rule2) triple5) -> rule3))]
("Harry" "is" "round" "-")
((((triple6) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Erin is quiet.
Unknown
rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Erin is rough.[(triple1)] Erin is round.[(triple2)] Fiona is cold.[(triple3)] Fiona is green.[(triple4)] Harry is cold.[(triple5)] Harry is green.[(triple6)] Harry is smart.[(triple7)] @1: Fiona is big.[(((triple4) -> rule2))] Harry is big.[(((triple6) -> rule2))] Harry is quiet.[(((triple7) -> rule1))] @2: Fiona is round.[(((((triple4) -> rule2) triple3) -> rule3))] Harry is round.[(((((triple6) -> rule2) triple5) -> rule3))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
((triple4) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple6) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple4) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple6) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2