Fiona is blue. Fiona is cold. Fiona is smart. Fiona is white. Fiona is young. Gary is blue. Gary is not cold. Gary is furry. Gary is not rough. Gary is not smart. Gary is not white. Gary is not young. If something is white and blue then it is smart. All young things are rough. If something is rough and not white then it is young. All rough, blue things are young. If something is young and not rough then it is furry. Rough, white things are furry.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is not white.
("Gary" "is" "white" "-")
Gary is not young.
("Gary" "is" "young" "-")
If something is white and blue then it is smart.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
All young things are rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If something is rough and not white then it is young.
((("something" "is" "rough" "+") ("something" "is" "white" "~")) -> ("something" "is" "young" "+"))
All rough, blue things are young.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is young and not rough then it is furry.
((("something" "is" "young" "+") ("something" "is" "rough" "~")) -> ("something" "is" "furry" "+"))
Rough, white things are furry.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Fiona is young.
True
1
proof
[(triple5)]
("Fiona" "is" "young" "+")
triple5
Fiona is not young.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "young" "-")
triple5
Fiona is rough.
True
2
proof
[(((triple5) -> rule2))]
("Fiona" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple5) -> rule2))]
("Fiona" "is" "rough" "-")
((triple5) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
True
4
proof
[(((((triple5) -> rule2) triple4) -> rule6))]
("Fiona" "is" "furry" "+")
((((triple5) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not furry.
False
4
inv-proof
[(((((triple5) -> rule2) triple4) -> rule6))]
("Fiona" "is" "furry" "-")
((((triple5) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is smart.[(triple3 OR ((triple4 triple1) -> rule1))] Fiona is white.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple8)] Gary is not cold.[(triple7)] Gary is not rough.[(triple9)] Gary is not smart.[(triple10)] Gary is not white.[(triple11)] Gary is not young.[(triple12)] @1: Fiona is rough.[(((triple5) -> rule2))] @2: Fiona is furry.[(((((triple5) -> rule2) triple4) -> rule6))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
((triple4 triple1) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is not cold.
("Gary" "is" "cold" "-")
triple7
Gary is not rough.
("Gary" "is" "rough" "-")
triple9
Gary is not smart.
("Gary" "is" "smart" "-")
triple10
Gary is not white.
("Gary" "is" "white" "-")
triple11
Gary is not young.
("Gary" "is" "young" "-")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple5) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2