Bob is not cold. Erin is big. Fiona is cold. If Fiona is big and Fiona is not green then Fiona is blue. All big people are young. All green people are cold. Blue people are cold. If Fiona is blue and Fiona is young then Fiona is big. All young, big people are smart. If Erin is smart and Erin is not green then Erin is kind. If Bob is blue and Bob is young then Bob is smart.
Bob is not cold.
("Bob" "is" "cold" "-")
Erin is big.
("Erin" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
If Fiona is big and Fiona is not green then Fiona is blue.
((("Fiona" "is" "big" "+") ("Fiona" "is" "green" "~")) -> ("Fiona" "is" "blue" "+"))
All big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
All green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is blue and Fiona is young then Fiona is big.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "big" "+"))
All young, big people are smart.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
If Erin is smart and Erin is not green then Erin is kind.
((("Erin" "is" "smart" "+") ("Erin" "is" "green" "~")) -> ("Erin" "is" "kind" "+"))
If Bob is blue and Bob is young then Bob is smart.
((("Bob" "is" "blue" "+") ("Bob" "is" "young" "+")) -> ("Bob" "is" "smart" "+"))
Erin is big.
True
1
proof
[(triple2)]
("Erin" "is" "big" "+")
triple2
Bob is cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Erin is young.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "young" "+")
((triple2) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "young" "-")
((triple2) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@2: Fiona is young.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Fiona" "is" "young" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "kind" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is not cold.[(triple1)] Erin is big.[(triple2)] Fiona is cold.[(triple3)] @1: Erin is young.[(((triple2) -> rule2))] @2: Erin is smart.[(((((triple2) -> rule2) triple2) -> rule6))]
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2