Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is young. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is smart. Harry is young. Young things are smart. All young, smart things are kind. If Fiona is cold then Fiona is smart.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
All young, smart things are kind.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
If Fiona is cold then Fiona is smart.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "smart" "+"))
Fiona is blue.
True
1
proof
[(triple1)]
("Fiona" "is" "blue" "+")
triple1
Gary is not blue.
False
1
inv-proof
[(triple6)]
("Gary" "is" "blue" "-")
triple6
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "smart" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3 OR ((triple5 ((triple5) -> rule1)) -> rule2))] Fiona is quiet.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13 OR ((triple15 triple14) -> rule2) OR ((triple15 ((triple15) -> rule1)) -> rule2))] Harry is smart.[(triple14 OR ((triple15) -> rule1))] Harry is young.[(triple15)] @1: Fiona is smart.[(((triple5) -> rule1))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
((triple5 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
((triple15 triple14) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple15 ((triple15) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple14
((triple15) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple5) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1