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